Symbol: mpc85xx_smp_timebase_sync
sys/powerpc/mpc85xx/platform_mpc85xx.c
103
static void mpc85xx_smp_timebase_sync(platform_t, u_long tb, int ap);
sys/powerpc/mpc85xx/platform_mpc85xx.c
117
PLATFORMMETHOD(platform_smp_timebase_sync, mpc85xx_smp_timebase_sync),