[INT] fix the mask/unmask interrupt api to not take oldstate argument
diff --git a/include/platform/interrupts.h b/include/platform/interrupts.h
index 7f563a5..7ee25bc 100644
--- a/include/platform/interrupts.h
+++ b/include/platform/interrupts.h
@@ -25,8 +25,8 @@
#include <sys/types.h>
-status_t mask_interrupt(unsigned int vector, bool *oldstate);
-status_t unmask_interrupt(unsigned int vector, bool *oldstate);
+status_t mask_interrupt(unsigned int vector);
+status_t unmask_interrupt(unsigned int vector);
typedef enum handler_return (*int_handler)(void *arg);