Symbol: x86_patch
sys/arch/x86/include/cpufunc.h
137
void x86_patch(bool);
sys/arch/x86/x86/cpu.c
759
x86_patch(false);
sys/arch/x86/x86/identcpu.c
1016
x86_patch(true);