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