Re: [Xen-devel] [PATCH 04/19] xen: arm: provide and use a handle_raz_wi helper

[Julien Grall <julien.grall@xxxxxxxxxx>]

Hi Ian,

On 31/03/2015 11:07, Ian Campbell wrote:
> Reduces the use of goto in the trap handlers to none.
>
> Some explcitily 32-bit types become register_t here, but that's OK, on
s/explcitily/explicitly/

> 32-bit they are 32-bit already and on 64-bit it is fine/harmless to
> set the larger register, a 32-bit guest won't see the top half in any
> case.
What about 32-bit userspace on 64-bit kernel? Are we sure that a guest 
kernel won't only save the bottom half of the register?
Regards,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel