HomeFreeBSD

arm64: Add TCR register masks

Description

arm64: Add TCR register masks

These will be used by bhyve to implement page table walking.

Sponsored by: Arm Ltd

Details

Provenance
andrewAuthored on Sep 8 2023, 1:29 PM
Parents
rGaea540538991: arm64: Fix the TCR_TBI0 macro to use UL
Branches
Unknown
Tags
Unknown