Symbol: __update_spec_ctrl
arch/x86/kernel/smpboot.c
1490
__update_spec_ctrl(0);
drivers/idle/intel_idle.c
207
__update_spec_ctrl(0);
drivers/idle/intel_idle.c
212
__update_spec_ctrl(spec_ctrl);