arch_int_set_interrupt_controller
void arch_int_set_interrupt_controller(const interrupt_controller &controller);
arch_int_set_interrupt_controller(ioapicController);
arch_int_set_interrupt_controller(picController);