Searched refs:vmfkr (Results 1 – 1 of 1) sorted by relevance
1417 kern_return_t vmfkr = KERN_SUCCESS; in handle_user_abort() local1420 int result = handle_alignment_fault_from_user(state, &vmfkr); in handle_user_abort()1446 codes[0] = vmfkr; in handle_user_abort()1447 assertf(vmfkr != KERN_SUCCESS, "Unexpected vmfkr 0x%x", vmfkr); in handle_user_abort()