PRED_CMD_IBPB
alternative_msr_write(MSR_IA32_PRED_CMD, PRED_CMD_IBPB, \
u64 x86_pred_cmd __ro_after_init = PRED_CMD_IBPB;
u64 reserved_bits = ~(PRED_CMD_IBPB | PRED_CMD_SBPB);
reserved_bits |= PRED_CMD_IBPB;
reserved_bits |= PRED_CMD_IBPB;