GHCB_MSR_PROTO_MAX
if (GHCB_MSR_PROTO_MAX(val) < GHCB_PROTOCOL_MIN ||
ghcb_version = min_t(size_t, GHCB_MSR_PROTO_MAX(val), GHCB_PROTOCOL_MAX);
if (GHCB_MSR_PROTO_MAX(val) < GHCB_PROTOCOL_MIN ||
hv_ghcb_version = min_t(size_t, GHCB_MSR_PROTO_MAX(val),