Searched refs:xpq_queue_pt_switch (Results 1 – 3 of 3) sorted by relevance
149 xpq_queue_pt_switch(xpmap_ptom_masked(val)); in lcr3()
254 xpq_queue_pt_switch(paddr_t pa) in xpq_queue_pt_switch() function887 xpq_queue_pt_switch(xpmap_ptom_masked(new_pgd - KERNBASE)); in xen_bootstrap_tables()
45 void xpq_queue_pt_switch(paddr_t);