aboutsummaryrefslogtreecommitdiff
path: root/kernel/include/sys.h
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ens.fr>2014-12-05 15:06:17 +0100
committerAlex Auvolat <alex.auvolat@ens.fr>2014-12-05 15:06:17 +0100
commit274765f7daa3cc1094f9f26196fcf2b9a5289ee2 (patch)
tree974b59905b942ded566c5f9c2d512472646288fc /kernel/include/sys.h
parent902eea7a56b38c20bbdca414e58fc6c3f4393025 (diff)
downloadkogata-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.h2
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");
}