Searched refs:dblfault_handler (Results 1 – 4 of 4) sorted by relevance
121 void dblfault_handler(void);993 dblfault_handler(void) in dblfault_handler() function
162 void dblfault_handler(void);1662 dblfault_tss->tss_eip = (int)dblfault_handler; in machdep_init_trampoline()
111 void dblfault_handler(struct trapframe *frame);974 dblfault_handler(struct trapframe *frame) in dblfault_handler() function
361 call dblfault_handler