Symbol: x86_get_double_fault_stack