Searched refs:dblfault_handler (Results 1 – 4 of 4) sorted by relevance
118 void dblfault_handler(void);1016 dblfault_handler(void) in dblfault_handler() function
160 void dblfault_handler(void);1670 dblfault_tss->tss_eip = (int)dblfault_handler; in machdep_init_trampoline()
109 void dblfault_handler(struct trapframe *frame);982 dblfault_handler(struct trapframe *frame) in dblfault_handler() function
357 call dblfault_handler