Symbol: set_interrupt_registers