aplintc_cpuinit
void aplintc_cpuinit(void);
aplintc_cpuinit();
sc->sc_ic.ic_cpu_enable = aplintc_cpuinit;