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