Searched refs:TCR_TBI1 (Results 1 – 2 of 2) sorted by relevance
| /freebsd-head/sys/arm64/vmm/ | ||
| HD | vmm_arm64.c | 870 if ((paging->tcr_el1 & TCR_TBI1) != 0) in vmmops_gla2gpa() |
| /freebsd-head/sys/arm64/include/ | ||
| HD | armreg.h | 2814 #define TCR_TBI1 (UL(1) << TCR_TBI1_SHIFT) macro |