Constant x86defs::snp::HV_PSP_CPUID_LEAF_COUNT_MAX

pub const HV_PSP_CPUID_LEAF_COUNT_MAX: usize = 64;