VTCR_EL2_SL0_4K_LVL1 (reference) in projects: freebsd

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

/freebsd/sys/arm64/include/
H A D	hypervisor.h	`260 #define VTCR_EL2_SL0_4K_LVL1 (0x1UL << VTCR_EL2_SL0_SHIFT) macro`
/freebsd/sys/arm64/vmm/
H A D	vmm_arm64.c	`210 return (VTCR_EL2_SL0_4K_LVL1); in vmm_vtcr_el2_sl()`