#ifndef _KERNEL_SYS_IRQ_H
#define _KERNEL_SYS_IRQ_H

#include <sys/spin_lock.h>

void irq_save (spin_lock_ctx_t* ctx);
void irq_restore (spin_lock_ctx_t* ctx);

#endif // _KERNEL_SYS_IRQ_H