diff --git a/src/arch/x86_64/kernel/irq.rs b/src/arch/x86_64/kernel/irq.rs index 9afe2f6e8e..e22111887d 100644 --- a/src/arch/x86_64/kernel/irq.rs +++ b/src/arch/x86_64/kernel/irq.rs @@ -412,9 +412,7 @@ extern "x86-interrupt" fn double_fault_exception( scheduler::abort(); } -extern "x86-interrupt" fn coprocessor_segment_overrun_exception( - stack_frame: ExceptionStackFrame, -) { +extern "x86-interrupt" fn coprocessor_segment_overrun_exception(stack_frame: ExceptionStackFrame) { error!( "CoProcessor Segment Overrun (#MF) Exception: {:#?}", stack_frame