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