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