Symbol: HW_IPC_ARMMSG
sys/arch/evbppc/stand/wii/miniipc.c
137
while (__SHIFTOUT(in32(HW_IPC_ARMMSG), HW_IPC_ARMMSG_INDEX_OUT_MASK) ==
sys/arch/evbppc/stand/wii/miniipc.c
143
printf("HW_IPC_ARMMSG: 0x%x\n", in32(HW_IPC_ARMMSG));