HP_NAME_SVS_ENTER
HOTPATCH(HP_NAME_SVS_ENTER, SVS_ENTER_BYTES) ; \
.name = HP_NAME_SVS_ENTER,
x86_hotpatch(HP_NAME_SVS_ENTER, 0);