EXC_STORE_GUEST_PAGE_FAULT
case EXC_STORE_GUEST_PAGE_FAULT:
(trap->scause == EXC_STORE_GUEST_PAGE_FAULT && !writable)) {
case EXC_STORE_GUEST_PAGE_FAULT:
(trap->scause == EXC_STORE_GUEST_PAGE_FAULT) ? true : false,
TRAP(EXC_STORE_GUEST_PAGE_FAULT)