Searched refs:mmfr0 (Results 1 – 1 of 1) sorted by relevance
235 uint64_t mmfr0, parange; in parse_pxm_tables() local241 if (!get_kernel_reg(ID_AA64MMFR0_EL1, &mmfr0)) { in parse_pxm_tables()243 mmfr0 = ID_AA64MMFR0_PARange_1T; in parse_pxm_tables()246 switch (ID_AA64MMFR0_PARange_VAL(mmfr0)) { in parse_pxm_tables()271 printf("Unknown value for PARange in mmfr0 (%#lx)\n", mmfr0); in parse_pxm_tables()