HomeFreeBSD

gicv3: Add checks for the device ID

Description

gicv3: Add checks for the device ID

Add checks that the device ID is supported by the hardware and is
within the range allocated when the driver attaches.

Reviewed by: gallatin, imp
Sponsored by: Arm Ltd
Differential Revision: https://reviews.freebsd.org/D41551

Details

Provenance
andrewAuthored on Aug 22 2023, 2:37 PM
Reviewer
gallatin
Differential Revision
D41551: gicv3: Split out finding the page size
Parents
rG7f9694ad7e7c: gicv3: Add a verbose message for unknown tables
Branches
Unknown
Tags
Unknown
Reverted By
rG160919c86435: Revert "gicv3: Add checks for the device ID"