__kvm_gmem_invalidate_end
__kvm_gmem_invalidate_end(f, start, end);
__kvm_gmem_invalidate_end(f, 0, -1ul);