Symbol: ibrs_disable_hotpatch
sys/arch/x86/x86/spectre.c
209
ibrs_disable_hotpatch(void)
sys/arch/x86/x86/spectre.c
224
ibrs_disable_hotpatch(void)