From 0df54d980737b7c4bb07aa4ac29e1e7689a6019b Mon Sep 17 00:00:00 2001
From: Keir Fraser <keir.fraser@citrix.com>
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 <Christoph.Egger@amd.com>
---
 extras/mini-os/sched.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'extras/mini-os/sched.c')

diff --git a/extras/mini-os/sched.c b/extras/mini-os/sched.c
index ab454cd83a..b1e1d288b8 100644
--- a/extras/mini-os/sched.c
+++ b/extras/mini-os/sched.c
@@ -227,7 +227,7 @@ void block(struct thread *thread)
     clear_runnable(thread);
 }
 
-void msleep(u32 millisecs)
+void msleep(uint32_t millisecs)
 {
     struct thread *thread = get_current();
     thread->wakeup_time = NOW()  + MILLISECS(millisecs);
-- 
cgit v1.2.3