-void intr_register (uint8_t vec, int dpl, enum intr_level, intr_handler_func *,
- const char *name);
+void intr_register_ext (uint8_t vec, intr_handler_func *, const char *name);
+void intr_register_int (uint8_t vec, int dpl, enum intr_level,
+ intr_handler_func *, const char *name);