X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finterrupt.h;h=79d63e71282db18aaa5a11ff7997c7a1d5fc514a;hb=b4e9c266d656c6b595cc57920a34937776acc300;hp=d43e06d90831f76d54e04c4693765565f96ded7c;hpb=6ffbc2b68c34c2d1e42d5f6bcd8f2b94b82d05d7;p=pintos-anon

diff --git a/src/threads/interrupt.h b/src/threads/interrupt.h
index d43e06d..79d63e7 100644
--- a/src/threads/interrupt.h
+++ b/src/threads/interrupt.h
@@ -67,4 +67,9 @@ void intr_yield_on_return (void);
 void intr_dump_frame (const struct intr_frame *);
 const char *intr_name (uint8_t vec);
 
+void intr_irq_mask(int irq);
+void intr_irq_unmask(int irq);
+
+bool intr_is_registered ( uint8_t vec );
+
 #endif /* threads/interrupt.h */