Symbol: dblfault_handler
sys/amd64/amd64/trap.c
1057
dblfault_handler(struct trapframe *frame)
sys/i386/i386/trap.c
998
dblfault_handler(void)