From 274765f7daa3cc1094f9f26196fcf2b9a5289ee2 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Fri, 5 Dec 2014 15:06:17 +0100 Subject: Corrections : - replace size_t by void* in many places - correct bug in region freeing code --- kernel/include/sys.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/include/sys.h') diff --git a/kernel/include/sys.h b/kernel/include/sys.h index ff98c60..c8721ec 100644 --- a/kernel/include/sys.h +++ b/kernel/include/sys.h @@ -22,7 +22,7 @@ static inline uint16_t inw(uint16_t port) { return ret; } -static inline void invlpg(size_t addr) { +static inline void invlpg(void* addr) { asm volatile("invlpg (%0)" : : "r"(addr) : "memory"); } -- cgit v1.2.3