diff options
| author | Ian Campbell <ian.campbell@citrix.com> | 2013-02-22 08:57:41 +0000 |
|---|---|---|
| committer | Ian Campbell <ian.campbell@citrix.com> | 2013-02-22 12:14:50 +0000 |
| commit | 6c7d2bad2f3ebba6fe79d9811c2cde237fa4bf16 (patch) | |
| tree | 041f3b03612d0f67c3bf2f14e2df850fcb43fe8f /xen/include/public | |
| parent | 0d6e920c68ff0271bfd4ac154683d0573dd3ab39 (diff) | |
| download | xen-6c7d2bad2f3ebba6fe79d9811c2cde237fa4bf16.tar.gz xen-6c7d2bad2f3ebba6fe79d9811c2cde237fa4bf16.tar.bz2 xen-6c7d2bad2f3ebba6fe79d9811c2cde237fa4bf16.zip | |
xen: event channel arrays are xen_ulong_t and not unsigned long
On ARM we want these to be the same size on 32- and 64-bit.
This is an ABI change on ARM. X86 does not change.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Keir Fraser <keir@xen.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Diffstat (limited to 'xen/include/public')
| -rw-r--r-- | xen/include/public/xen.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/xen/include/public/xen.h b/xen/include/public/xen.h index 106d2be4f3..c4d08d65d2 100644 --- a/xen/include/public/xen.h +++ b/xen/include/public/xen.h @@ -556,7 +556,7 @@ DEFINE_XEN_GUEST_HANDLE(multicall_entry_t); * Event channel endpoints per domain: * 1024 if a long is 32 bits; 4096 if a long is 64 bits. */ -#define NR_EVENT_CHANNELS (sizeof(unsigned long) * sizeof(unsigned long) * 64) +#define NR_EVENT_CHANNELS (sizeof(xen_ulong_t) * sizeof(xen_ulong_t) * 64) struct vcpu_time_info { /* @@ -613,7 +613,7 @@ struct vcpu_info { */ uint8_t evtchn_upcall_pending; uint8_t evtchn_upcall_mask; - unsigned long evtchn_pending_sel; + xen_ulong_t evtchn_pending_sel; struct arch_vcpu_info arch; struct vcpu_time_info time; }; /* 64 bytes (x86) */ @@ -663,8 +663,8 @@ struct shared_info { * per-vcpu selector word to be set. Each bit in the selector covers a * 'C long' in the PENDING bitfield array. */ - unsigned long evtchn_pending[sizeof(unsigned long) * 8]; - unsigned long evtchn_mask[sizeof(unsigned long) * 8]; + xen_ulong_t evtchn_pending[sizeof(xen_ulong_t) * 8]; + xen_ulong_t evtchn_mask[sizeof(xen_ulong_t) * 8]; /* * Wallclock time: updated only by control software. Guests should base |