@@ -0,0 +1,8 @@
#ifndef _KERNEL_SYS_H
#define _KERNEL_SYS_H
void sys_halt(void);
void sys_enable_interrupts(void);
void sys_disable_interrupts(void);
#endif
The note is not visible to the blocked user.