Symbol: ibrs_enable_hotpatch
sys/arch/x86/x86/spectre.c
216
ibrs_enable_hotpatch(void)
sys/arch/x86/x86/spectre.c
229
ibrs_enable_hotpatch(void)