Searched refs:trapfn (Results 1 – 3 of 3) sorted by relevance
237 DECLARE("R64_TRAPFN", R64_(isf.trapfn)); in main()247 DECLARE("ISF64_TRAPFN", ISF64_(trapfn)); in main()
282 kprintf(" isf.trapfn 0x%llx\n", saved_state->isf.trapfn); in kprint_state()
420 uint64_t trapfn; member