diff options
author | Alex Auvolat <alex.auvolat@ens.fr> | 2014-12-05 15:06:17 +0100 |
---|---|---|
committer | Alex Auvolat <alex.auvolat@ens.fr> | 2014-12-05 15:06:17 +0100 |
commit | 274765f7daa3cc1094f9f26196fcf2b9a5289ee2 (patch) | |
tree | 974b59905b942ded566c5f9c2d512472646288fc /kernel/include/sys.h | |
parent | 902eea7a56b38c20bbdca414e58fc6c3f4393025 (diff) | |
download | kogata-274765f7daa3cc1094f9f26196fcf2b9a5289ee2.tar.gz kogata-274765f7daa3cc1094f9f26196fcf2b9a5289ee2.zip |
Corrections :
- replace size_t by void* in many places
- correct bug in region freeing code
Diffstat (limited to 'kernel/include/sys.h')
-rw-r--r-- | kernel/include/sys.h | 2 |
1 files changed, 1 insertions, 1 deletions
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"); } |