HP_NAME_SVS_LEAVE
HOTPATCH(HP_NAME_SVS_LEAVE, SVS_LEAVE_BYTES) ; \
.name = HP_NAME_SVS_LEAVE,
x86_hotpatch(HP_NAME_SVS_LEAVE, 0);