Constant HV_PSP_CPUID_LEAF_COUNT_MAX 

pub const HV_PSP_CPUID_LEAF_COUNT_MAX: usize = 64;