Searched refs:mmfr0 (Results 1 - 1 of 1) sorted by relevance

/freebsd-current/sys/arm64/acpica/
H A Dacpi_machdep.c232 uint64_t mmfr0, parange; local
238 if (!get_kernel_reg(ID_AA64MMFR0_EL1, &mmfr0)) {
240 mmfr0 = ID_AA64MMFR0_PARange_1T;
243 switch (ID_AA64MMFR0_PARange_VAL(mmfr0)) {
268 printf("Unknown value for PARange in mmfr0 (%#lx)\n", mmfr0);

Completed in 171 milliseconds