Searched refs:TCR_EL2_PS_42BITS (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/arm64/include/ | ||
| H A D | hypervisor.h | 194 #define TCR_EL2_PS_42BITS (3UL << TCR_EL2_PS_SHIFT) macro |
| /freebsd/sys/arm64/vmm/ | ||
| H A D | vmm_arm64.c | 356 case TCR_EL2_PS_42BITS: in vmmops_modinit() |