Hello, what's the point of this being used by hvmemul_read() and hvmemul_cmpxchg(), but (namely but not limited to) not by hvmemul_write()?
Thanks, Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel