diff options
author | Keir Fraser <keir.fraser@citrix.com> | 2009-07-15 09:09:48 +0100 |
---|---|---|
committer | Keir Fraser <keir.fraser@citrix.com> | 2009-07-15 09:09:48 +0100 |
commit | 0df54d980737b7c4bb07aa4ac29e1e7689a6019b (patch) | |
tree | 69c7a044efe1f909f03ad9ff32ef5a8e0d8a390f /extras/mini-os/hypervisor.c | |
parent | 4a493bdc5c1f3ba22004fd6a260fc7b4c6d23fce (diff) | |
download | xen-0df54d980737b7c4bb07aa4ac29e1e7689a6019b.tar.gz xen-0df54d980737b7c4bb07aa4ac29e1e7689a6019b.tar.bz2 xen-0df54d980737b7c4bb07aa4ac29e1e7689a6019b.zip |
minios: switch to C99 integer types
This is a necessary step to make minios build on NetBSD.
Signed-off-by: Christoph Egger <Christoph.Egger@amd.com>
Diffstat (limited to 'extras/mini-os/hypervisor.c')
-rw-r--r-- | extras/mini-os/hypervisor.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/extras/mini-os/hypervisor.c b/extras/mini-os/hypervisor.c index 936a17b6a9..dad8b59609 100644 --- a/extras/mini-os/hypervisor.c +++ b/extras/mini-os/hypervisor.c @@ -87,13 +87,13 @@ void force_evtchn_callback(void) }; } -inline void mask_evtchn(u32 port) +inline void mask_evtchn(uint32_t port) { shared_info_t *s = HYPERVISOR_shared_info; synch_set_bit(port, &s->evtchn_mask[0]); } -inline void unmask_evtchn(u32 port) +inline void unmask_evtchn(uint32_t port) { shared_info_t *s = HYPERVISOR_shared_info; vcpu_info_t *vcpu_info = &s->vcpu_info[smp_processor_id()]; @@ -114,7 +114,7 @@ inline void unmask_evtchn(u32 port) } } -inline void clear_evtchn(u32 port) +inline void clear_evtchn(uint32_t port) { shared_info_t *s = HYPERVISOR_shared_info; synch_clear_bit(port, &s->evtchn_pending[0]); |