diff --git a/include/socks/cpu.h b/include/socks/cpu.h
index 6bf1830..375840d 100644
--- a/include/socks/cpu.h
+++ b/include/socks/cpu.h
@@ -32,6 +32,9 @@ extern void put_cpu(cpu_data_t *cpu);
 extern void cpu_set_available(unsigned int cpu_id);
 extern void cpu_set_online(unsigned int cpu_id);
 
+#define irq_enable() ml_int_enable()
+#define irq_disable() ml_int_disable()
+
 extern unsigned int cpu_get_highest_available(void);
 
 #ifdef __cplusplus