#include void cpu_init() { interrupt_init(); }