Searched refs:xen_set_p4d (Results 1 – 1 of 1) sorted by relevance
551 static void xen_set_p4d(p4d_t *ptr, p4d_t val) in xen_set_p4d() function2157 pv_ops.mmu.set_p4d = xen_set_p4d; in xen_post_allocator_init()