Searched refs:dblfault_handler (Results 1 – 4 of 4) sorted by relevance
116 void dblfault_handler(void);998 dblfault_handler(void) in dblfault_handler() function
154 void dblfault_handler(void);1661 dblfault_tss->tss_eip = (int)dblfault_handler; in machdep_init_trampoline()
109 void dblfault_handler(struct trapframe *frame);1060 dblfault_handler(struct trapframe *frame) in dblfault_handler() function1773 dblfault_handler(&frame->tf_idt); in trap_fred_handle_k_exc()
357 call dblfault_handler