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