clock_init_triv
static void clock_init_triv(void *);
clock_init_triv,
if (systemsw.s_clock_init != clock_init_triv)
static void clock_init_triv(void *);
clock_init_triv,
if (systemsw.s_clock_init != clock_init_triv)