CPUID_EXT_MMFR0
unsigned int mmfr0 = read_cpuid_ext(CPUID_EXT_MMFR0);
block = cpuid_feature_extract(CPUID_EXT_MMFR0, 0);
(read_cpuid_ext(CPUID_EXT_MMFR0) & 0xF) >= 4) {
unsigned long pmsa = read_cpuid_ext(CPUID_EXT_MMFR0) & MMFR0_PMSA;
unsigned long pmsa = read_cpuid_ext(CPUID_EXT_MMFR0) & MMFR0_PMSA;
block = cpuid_feature_extract(CPUID_EXT_MMFR0, 0);