HomeFreeBSD

Use the new PAGE_SIZE_4K in the GICv3 driver

Description

Use the new PAGE_SIZE_4K in the GICv3 driver

Stop assuming PAGE_SIZE is 4k in the GICv3 ITS driver. We could use
a 16k or 64k page in the future.

Sponsored by: Innovate UK

Details

Provenance
andrewAuthored on Dec 23 2020, 9:49 AM
Parents
rG3413a8cd819b: Rename the arm64 4k PAGE_* macros
Branches
Unknown
Tags
Unknown

Event Timeline