[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Xen-devel] [PATCH 04/13] xen: sync public headers
On 08/02/13 17:09, Ian Campbell wrote:
>
> Actually, Stefano and I were discussing this the other day, the use of
> unsigned long in the evtchn stuff on ARM32 is a 32/64 ABI snafu and
> should be fixed -- using xen_ulong_t would fix this too...
Keep in mind that it must be possible to do an atomic xchg() on the
vcpu_info's evtchn_pending_sel word. I don't think 64-bit words will
work with a 32-bit ARM guest.
David
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel
|
