On 14/10/16 10:37, Jan Beulich wrote: > The high halves of all GPRs are undefined in 32-bit and compat modes, > and the dependency is being obfuscated by our structure field names not > matching architectural register names (it was actually while putting > together a patch to correct this when I noticed the issue here). > > For consistency also use the architecturally correct names on the > output side. > > Signed-off-by: Jan Beulich <jbeul...@suse.com>
Reviewed-by: Andrew Cooper <andrew.coop...@citrix.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
