Read PA bits from ID_AA64MMFR0_EL1.PARange.
MFC after: 1 week
Sponsored by: Ampere Computing, Inc.
Details
Details
- Reviewers
andrew markj manu - Commits
- rS364797: arm64/acpi: Give the real PA limit to ACPI
Diff Detail
Diff Detail
- Repository
- rS FreeBSD src repository - subversion
- Lint
Lint Skipped - Unit
Tests Skipped
Event Timeline
Comment Actions
You should use get_kernel_reg to read the ID registers when we need a common version over all CPUs. It's not going to affect it here, but when use later in the boot it can as on a big.LITTLE system these ID registers can sometimes be different across the different core types.
| sys/arm64/acpica/acpi_machdep.c | ||
|---|---|---|
| 242 | This should be ID_AA64MMFR0_PARange_VAL(mmfr0) Maybe with >> ID_AA64MMFR0_PARange_SHIFT, although the shift is 0 so it might be easier to add a comment to make this knowledge explicit. | |
| sys/arm64/acpica/acpi_machdep.c | ||
|---|---|---|
| 271 | You might print the value itself in this message. | |