Symbol: dblfault_handler
sys/platform/pc64/x86_64/trap.c
1126
dblfault_handler(struct trapframe *frame)
sys/platform/vkernel64/x86_64/trap.c
982
dblfault_handler(void)