Should we include `interrupt-register.h` instead?