TCR_TG1_MASK (reference) in projects: freebsd-head

Searched refs:TCR_TG1_MASK (Results 1 – 2 of 2) sorted by relevance

/freebsd-head/sys/arm64/vmm/
H D	vmm_arm64.c	`872 switch (paging->tcr_el1 & TCR_TG1_MASK) { in vmmops_gla2gpa()`
/freebsd-head/sys/arm64/include/
H D	armreg.h	`2830 #define TCR_TG1_MASK (UL(3) << TCR_TG1_SHIFT) macro`