Searched refs:state64 (Results 1 – 2 of 2) sorted by relevance
289 x86_saved_state64_t *state64 = saved_state64(state); in mt_check_for_pmi() local290 user_mode = (state64->isf.cs & 0x3) != 0; in mt_check_for_pmi()
362 x86_saved_state64_t *state64 = saved_state64(state); in interrupt() local363 rip = state64->isf.rip; in interrupt()364 rsp = state64->isf.rsp; in interrupt()365 interrupt_num = state64->isf.trapno; in interrupt()366 if (state64->isf.cs & 0x03) { in interrupt()371 uint64_t frameptr = is_saved_state64(state) ? state64->rbp : saved_state32(state)->ebp; in interrupt()