MINIIPC_INFO_PTR
pa = in32(MINIIPC_INFO_PTR);
printf("No MINI IPC pointer at 0x%x\n", MINIIPC_INFO_PTR);