causeExecAccessFault
case causeExecAccessFault: dprintf("execAccessFault"); break;
case causeExecAccessFault: kprintf("execAccessFault"); break;
case causeExecAccessFault: