WAIT0
WAIT0;
WAIT0; DATHI; WAIT1;
WAIT0; /* XXX should check the ack bit here... */
while (!(gpmc_register_read(sc, GPMC_STATUS) & WAIT0)) {