SCAUSE_STORE_PAGE_FAULT
case SCAUSE_STORE_PAGE_FAULT:
if (frame->tf_scause == SCAUSE_STORE_PAGE_FAULT) {
case SCAUSE_STORE_PAGE_FAULT:
case SCAUSE_STORE_PAGE_FAULT:
hedeleg |= (1UL << SCAUSE_STORE_PAGE_FAULT);