int xc_add_mmu_update(int xc_handle, struct xc_mmu *mmu, unsigned long long ptr, unsigned long long val) { mmu->updates[mmu->idx].ptr = ptr; mmu->updates[mmu->idx].val = val; if ( ++mmu->idx == MAX_MMU_UPDATES ) return flush_mmu_updates(xc_handle, mmu); return 0; }
int xc_flush_mmu_updates(int xc_handle, struct xc_mmu *mmu) { return flush_mmu_updates(xc_handle, mmu); }
int xc_flush_mmu_updates(xc_interface *xch, struct xc_mmu *mmu) { return flush_mmu_updates(xch, mmu); }