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