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