Symbol: init_fpu
sys/platform/vkernel64/include/md_var.h
118
void init_fpu(int supports_sse);
sys/platform/vkernel64/platform/init.c
478
init_fpu(supports_sse);