Symbol: HP_NAME_MUTEX_EXIT
sys/arch/x86/x86/patch.c
157
.name = HP_NAME_MUTEX_EXIT,
sys/arch/x86/x86/patch.c
333
x86_hotpatch(HP_NAME_MUTEX_EXIT, 0);