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