Symbol: HP_NAME_SPLLOWER
sys/arch/x86/x86/patch.c
143
.name = HP_NAME_SPLLOWER,
sys/arch/x86/x86/patch.c
331
x86_hotpatch(HP_NAME_SPLLOWER, 0);