Searched refs:xen_set_pgd (Results 1 – 1 of 1) sorted by relevance
566 static void xen_set_pgd(pgd_t *ptr, pgd_t val) in xen_set_pgd() function2394 pv_mmu_ops.set_pgd = xen_set_pgd; in xen_post_allocator_init()