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