- uint64_t rip;
- int interrupt;
- boolean_t user_mode = FALSE;
-
- if (is_saved_state64(state) == TRUE) {
- x86_saved_state64_t *state64;
-
- state64 = saved_state64(state);
- rip = state64->isf.rip;
- interrupt = state64->isf.trapno;
- user_mode = TRUE;
- } else {
- x86_saved_state32_t *state32;
-
- state32 = saved_state32(state);
- if (state32->cs & 0x03)
- user_mode = TRUE;
- rip = state32->eip;
- interrupt = state32->trapno;
- }
-
- KERNEL_DEBUG_CONSTANT(
- MACHDBG_CODE(DBG_MACH_EXCP_INTR, 0) | DBG_FUNC_START,
- interrupt, (unsigned int)rip, user_mode, 0, 0);