BUS_SPACE_RD4_ITL
BUS_SPACE_RD4_ITL(outbound_intstatus);
req32 = BUS_SPACE_RD4_ITL(inbound_queue);
int_mask = BUS_SPACE_RD4_ITL(outbound_intmask);
BUS_SPACE_RD4_ITL(outbound_intstatus);
iop_req32 = BUS_SPACE_RD4_ITL(inbound_queue);
BUS_SPACE_RD4_ITL(outbound_intstatus);
req = BUS_SPACE_RD4_ITL(inbound_queue);
BUS_SPACE_RD4_ITL(outbound_intstatus);
while ((req = BUS_SPACE_RD4_ITL(outbound_queue)) !=IOPMU_QUEUE_EMPTY) {
status = BUS_SPACE_RD4_ITL(outbound_intstatus);
u_int32_t msg = BUS_SPACE_RD4_ITL(outbound_msgaddr0);
BUS_SPACE_RD4_ITL(outbound_intstatus);
req32 = BUS_SPACE_RD4_ITL(inbound_queue);
req32 = BUS_SPACE_RD4_ITL(inbound_queue);