VTCR_EL2_SL0_4K_LVL0 (reference) in projects: freebsd

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

/freebsd/sys/arm64/include/
H A D	hypervisor.h	`261 #define VTCR_EL2_SL0_4K_LVL0 (0x2UL << VTCR_EL2_SL0_SHIFT) macro`
/freebsd/sys/arm64/vmm/
H A D	vmm_arm64.c	`212 return (VTCR_EL2_SL0_4K_LVL0); in vmm_vtcr_el2_sl()`