Searched refs:kprint_state (Results 1 – 2 of 2) sorted by relevance
102 extern void kprint_state(x86_saved_state64_t *saved_state);116 kprint_state(saved_state64(rsp)); in panic_idt64()
119 extern void kprint_state(x86_saved_state64_t *saved_state);249 kprint_state(x86_saved_state64_t *saved_state) in kprint_state() function