Symbol: HP_NAME_CAS_64
sys/arch/x86/x86/patch.c
130
.name = HP_NAME_CAS_64,
sys/arch/x86/x86/patch.c
325
x86_hotpatch(HP_NAME_CAS_64, 0);