x86_hotpatch
void x86_hotpatch(uint8_t, uint8_t);
x86_hotpatch(HP_NAME_NOLOCK, 0);
x86_hotpatch(HP_NAME_CAS_64, 0);
x86_hotpatch(HP_NAME_SPLLOWER, 0);
x86_hotpatch(HP_NAME_MUTEX_EXIT, 0);
x86_hotpatch(HP_NAME_RETFENCE, 0);
x86_hotpatch(HP_NAME_CLAC, 0);
x86_hotpatch(HP_NAME_STAC, 0);
x86_hotpatch(HP_NAME_IBRS_ENTER, /* noibrs */ 0);
x86_hotpatch(HP_NAME_IBRS_LEAVE, /* noibrs */ 0);
x86_hotpatch(HP_NAME_IBRS_ENTER, /* ibrs */ 1);
x86_hotpatch(HP_NAME_IBRS_LEAVE, /* ibrs */ 1);
x86_hotpatch(HP_NAME_MDS_LEAVE, /* nomds */ 0);
x86_hotpatch(HP_NAME_MDS_LEAVE, /* mds */ 1);
x86_hotpatch(HP_NAME_SVS_ENTER, 0);
x86_hotpatch(HP_NAME_SVS_ENTER_ALT, 0);
x86_hotpatch(HP_NAME_SVS_ENTER_NMI, 0);
x86_hotpatch(HP_NAME_SVS_LEAVE, 0);
x86_hotpatch(HP_NAME_SVS_LEAVE_ALT, 0);
x86_hotpatch(HP_NAME_SVS_LEAVE_NMI, 0);