Searched refs:booke_cpu_init (Results 1 - 2 of 2) sorted by relevance

/freebsd-12-stable/sys/powerpc/booke/
H A Dbooke_machdep.c209 void booke_cpu_init(void);
212 booke_cpu_init(void) function
/freebsd-12-stable/sys/powerpc/powerpc/
H A Dmachdep.c246 void booke_cpu_init(void);
378 booke_cpu_init();

Completed in 114 milliseconds