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