Searched refs:TCR_EPD0 (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/arm64/vmm/ | ||
| H A D | vmm_arm64.c | 905 if ((paging->tcr_el1 & TCR_EPD0) != 0) { in vmmops_gla2gpa() |
| /freebsd/sys/arm64/include/ | ||
| H A D | armreg.h | 2993 #define TCR_EPD0 (UL(1) << TCR_EPD0_SHIFT) macro |