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>

1 files changed, 1 insertions, 1 deletions

diff --git a/extras/mini-os/events.c b/extras/mini-os/events.c
index 9ca78d0016..c907e652b9 100644
--- a/extras/mini-os/events.c
+++ b/extras/mini-os/events.c
@@ -28,7 +28,7 @@
 typedef struct _ev_action_t {
 	evtchn_handler_t handler;
 	void *data;
-    u32 count;
+    uint32_t count;
 } ev_action_t;
 
 static ev_action_t ev_actions[NR_EVS];