From 0df54d980737b7c4bb07aa4ac29e1e7689a6019b Mon Sep 17 00:00:00 2001 From: Keir Fraser Date: Wed, 15 Jul 2009 09:09:48 +0100 Subject: minios: switch to C99 integer types This is a necessary step to make minios build on NetBSD. Signed-off-by: Christoph Egger --- extras/mini-os/hypervisor.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'extras/mini-os/hypervisor.c') 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]); -- cgit v1.2.3