Home
last modified time | relevance | path

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

/xen/xen/arch/arm/
A Dp2m.c1942 static uint32_t __read_mostly vtcr; variable
1946 WRITE_SYSREG32(vtcr, VTCR_EL2); in setup_virt_paging_one()
2065 vtcr = val; in setup_virt_paging()

Completed in 5 milliseconds