ladybird/Kernel/Arch/IRQController.h