Displaying 1 result from an estimated 1 matches for "mmu_switch_ttb".
2012 Feb 13
0
[PATCH 10/14] arm: implement ARMv7 tlb ops.
....c
--- a/xen/arch/arm/xen/domain_build.c Sun Feb 12 12:05:36 2012 +0900
+++ b/xen/arch/arm/xen/domain_build.c Sun Feb 12 12:24:09 2012 +0900
@@ -176,7 +176,7 @@ int domain_construct(struct domain *d,
} while(gpt++, pmap < pend);
/* Activate guest address space to relocate guest image */
- mmu_switch_ttb(gpt & ~(0x4000 - 1));
+ set_ttbr((unsigned long)(gpt) & ~(0x4000 - 1));
elf.dest = (void *)ventry;
elf_load_binary(&elf);
@@ -192,7 +192,7 @@ int domain_construct(struct domain *d,
si->mfn_list = 0;
si->first_p2m_pfn = pstart >> PAGE_SHIFT;
si->flags = 0...