1 files changed, 1 insertions, 5 deletions
diff --git a/kern/pv.c b/kern/pv.c
index 02b0ae9..c8c7f1d 100644
--- a/kern/pv.c
+++ b/kern/pv.c
@@ -270,11 +270,7 @@ no_idt_handler:
     pv_die("No interrupt handler installed");
 }
 
-static inline void do_inject_irq(thread_t* t,
-                                 pv_t* pv,
-                                 stack_frame_t* f,
-                                 int arg,
-                                 va_t eip) {
+void do_inject_irq(thread_t* t, pv_t* pv, stack_frame_t* f, int arg, va_t eip) {
     reg_t new_esp;
     pv_frame_t pv_f;
     pv_f.cr2 = 0;