Searched refs:xen_set_pgd (Results 1 – 3 of 3) sorted by relevance
47 void xen_set_pgd(pgd_t *pgdp, pgd_t pgd);
618 void xen_set_pgd(pgd_t *ptr, pgd_t val) in xen_set_pgd() function
1042 pv_mmu_ops.set_pgd = xen_set_pgd; in xen_post_allocator_init()