HP_NAME_SVS_LEAVE_ALT
HOTPATCH(HP_NAME_SVS_LEAVE_ALT, SVS_LEAVE_ALT_BYTES) ; \
.name = HP_NAME_SVS_LEAVE_ALT,
x86_hotpatch(HP_NAME_SVS_LEAVE_ALT, 0);