Searched refs:xpq_queue (Results 1 – 1 of 1) sorted by relevance
194 mmu_update_t *xpq_queue; in xpq_flush_queue() local201 xpq_queue = xpq_queue_array[curcpu()->ci_cpuid]; in xpq_flush_queue()204 ret = HYPERVISOR_mmu_update(xpq_queue, xpq_idx, &done, DOMID_SELF); in xpq_flush_queue()212 xpq_queue += done; in xpq_flush_queue()234 mmu_update_t *xpq_queue = xpq_queue_array[curcpu()->ci_cpuid]; in xpq_queue_machphys_update() local237 xpq_queue[xpq_idx].ptr = ma | MMU_MACHPHYS_UPDATE; in xpq_queue_machphys_update()238 xpq_queue[xpq_idx].val = pa >> PAGE_SHIFT; in xpq_queue_machphys_update()245 mmu_update_t *xpq_queue = xpq_queue_array[curcpu()->ci_cpuid]; in xpq_queue_pte_update() local248 xpq_queue[xpq_idx].ptr = ptr | MMU_NORMAL_PT_UPDATE; in xpq_queue_pte_update()249 xpq_queue[xpq_idx].val = val; in xpq_queue_pte_update()