Page MenuHomeFreeBSD

arm64/acpi: Give the real PA limit to ACPI

Authored by scottph on Aug 20 2020, 6:56 AM.
Referenced Files
Unknown Object (File)
Mon, Sep 11, 7:32 PM
Unknown Object (File)
Wed, Sep 6, 7:12 AM
Unknown Object (File)
Sat, Sep 2, 9:25 PM
Unknown Object (File)
Sat, Sep 2, 9:24 PM
Unknown Object (File)
Sat, Sep 2, 9:23 PM
Unknown Object (File)
Sat, Sep 2, 9:21 PM
Unknown Object (File)
Mon, Aug 28, 3:40 AM
Unknown Object (File)
Aug 25 2023, 12:59 PM



Read PA bits from ID_AA64MMFR0_EL1.PARange.

MFC after: 1 week
Sponsored by: Ampere Computing, Inc.

Diff Detail

rS FreeBSD src repository - subversion
Lint Not Applicable
Tests Not Applicable

Event Timeline

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.

252 ↗(On Diff #76021)

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.

scottph marked an inline comment as done.
This revision is now accepted and ready to land.Aug 21 2020, 9:55 AM
markj added inline comments.
271 ↗(On Diff #76051)

You might print the value itself in this message.

This revision was automatically updated to reflect the committed changes.