Home
last modified time | relevance | path

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

/xen/xen/arch/arm/
A Dmm.c171 uint64_t init_ttbr; variable
743 init_ttbr = (uintptr_t) xen_pgtable + phys_offset; in init_secondary_pagetables()
744 clean_dcache(init_ttbr); in init_secondary_pagetables()
786 init_ttbr = __pa(first); in init_secondary_pagetables()
787 clean_dcache(init_ttbr); in init_secondary_pagetables()
/xen/xen/arch/arm/arm64/
A Dhead.S386 ldr x4, =init_ttbr /* VA of TTBR0_EL2 stashed by CPU 0 */
/xen/xen/arch/arm/arm32/
A Dhead.S247 ldr r4, =init_ttbr /* VA of HTTBR value stashed by CPU 0 */

Completed in 10 milliseconds