Searched refs:__xen_write_cr3 (Results 1 – 1 of 1) sorted by relevance
1295 static void __xen_write_cr3(bool kernel, unsigned long cr3) in __xen_write_cr3() function1334 __xen_write_cr3(true, cr3); in xen_write_cr3()1337 __xen_write_cr3(false, __pa(user_pgd)); in xen_write_cr3()1339 __xen_write_cr3(false, 0); in xen_write_cr3()1374 __xen_write_cr3(true, cr3); in xen_write_cr3_init()1774 __xen_write_cr3(true, __pa(init_top_pgt)); in xen_setup_kernel_pagetable()
