Page MenuHomeFreeBSD

riscv: Handle four-level page tables in various pmap traversal routines
ClosedPublic

Authored by markj on Feb 14 2022, 10:31 PM.
Tags
None
Referenced Files
Unknown Object (File)
Thu, Oct 24, 5:41 AM
Unknown Object (File)
Thu, Oct 24, 5:41 AM
Unknown Object (File)
Thu, Oct 24, 5:41 AM
Unknown Object (File)
Thu, Oct 24, 5:20 AM
Unknown Object (File)
Tue, Oct 15, 12:34 PM
Unknown Object (File)
Sep 28 2024, 10:24 AM
Unknown Object (File)
Sep 24 2024, 8:35 PM
Unknown Object (File)
Sep 16 2024, 11:52 AM
Subscribers

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Passed
Unit
No Test Coverage
Build Status
Buildable 44447
Build 41335: arc lint + arc unit

Event Timeline

This revision is now accepted and ready to land.Feb 15 2022, 12:14 AM

I think pmap_change_attr_locked needs changing otherwise you'll fault rather than return EINVAL for bogus VAs that aren't covered by an L0 entry? The function doesn't currently do anything other than exist for LKPI and do a no-op walk in order to give back the right errors.

I think pmap_change_attr_locked needs changing otherwise you'll fault rather than return EINVAL for bogus VAs that aren't covered by an L0 entry? The function doesn't currently do anything other than exist for LKPI and do a no-op walk in order to give back the right errors.

Hmm, I don't see why we'd fault - pmap_l1() will return NULL in that case (see D34276) and pmap_change_attr_locked() handles that by returning EINVAL.

I think pmap_change_attr_locked needs changing otherwise you'll fault rather than return EINVAL for bogus VAs that aren't covered by an L0 entry? The function doesn't currently do anything other than exist for LKPI and do a no-op walk in order to give back the right errors.

Hmm, I don't see why we'd fault - pmap_l1() will return NULL in that case (see D34276) and pmap_change_attr_locked() handles that by returning EINVAL.

Hm, indeed, misremembered how those work. I guess you only need to do the walk explicitly if you care about distinguishing !V from !RX, i.e. if you expect to have L0 leaves, which we don't.