../ppc64/twi_tdi.c