pub extern "x86-interrupt" fn double_fault_handler( stack_frame: InterruptStackFrame, error_code: u64, ) -> !