Searched refs:vtcr (Results 1 – 1 of 1) sorted by relevance
1942 static uint32_t __read_mostly vtcr; variable1946 WRITE_SYSREG32(vtcr, VTCR_EL2); in setup_virt_paging_one()2065 vtcr = val; in setup_virt_paging()
Completed in 5 milliseconds