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
158 void dblfault_handler(void);1666 dblfault_tss->tss_eip = (int)dblfault_handler; in machdep_init_trampoline()
104 void dblfault_handler(struct trapframe *frame);1057 dblfault_handler(struct trapframe *frame) in dblfault_handler() function
357 call dblfault_handler