Searched refs:xpq_queue_pin_l4_table (Results 1 – 4 of 4) sorted by relevance
72 #define xpq_queue_pin_l4_table(pa) \ macro
874 xpq_queue_pin_l4_table(xpmap_ptom_masked(new_pgd - KERNBASE)); in xen_bootstrap_tables()
1245 xpq_queue_pin_l4_table(xpmap_ptom_masked(ci->ci_kpm_pdirpa)); in pmap_cpu_init_late()
1350 xpq_queue_pin_l4_table(xpmap_ptom_masked(xen_dummy_user_pgd));2797 xpq_queue_pin_l4_table(xpmap_ptom_masked(pdirpa));