causeStoreAccessFault
case causeStoreAccessFault: dprintf("storeAccessFault"); break;
case causeStoreAccessFault: kprintf("storeAccessFault"); break;
case causeStoreAccessFault: {