imsic_ipi_starting_cpu
static void imsic_ipi_starting_cpu(void)
static void imsic_ipi_starting_cpu(void) { }