Symbol: enable_fpu_kern
sys/powerpc/include/fpu.h
79
void enable_fpu_kern(void);
sys/powerpc/powerpc/fpu.c
351
enable_fpu_kern();