@@ -11,7 +11,7 @@ typedef struct
uint64_t rip, cs, rflags, rsp, ss;
} __attribute__((packed)) isr_frame_t;
typedef void (*irq_handler_t)(isr_frame_t*);
typedef void (*irq_handler_t)(const isr_frame_t*);
void init_idt(void);
The note is not visible to the blocked user.