HP_NAME_IBRS_ENTER
HOTPATCH(HP_NAME_IBRS_ENTER, IBRS_ENTER_BYTES) ; \
.name = HP_NAME_IBRS_ENTER,
x86_hotpatch(HP_NAME_IBRS_ENTER, /* noibrs */ 0);
x86_hotpatch(HP_NAME_IBRS_ENTER, /* ibrs */ 1);