?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 543662b) | patch
Fix warnings in non-debug build
commit0705fc5d3687b1ccff06bbb14c734f004dabdc9d
authorJakub Jermar <jakub@jermar.eu>
Tue, 20 Nov 2018 19:19:15 +0000 (20 20:19 +0100)
committerJakub Jermar <jakub@jermar.eu>
Tue, 20 Nov 2018 19:19:15 +0000 (20 20:19 +0100)
tree5c95ce46bff9aeccb9a263d4b0dbce82cf0e8be6tree | snapshot (tar.gz zip)
parent543662b3a5a91cc3b12c5ff897d1940f7a0248fccommit | diff
Fix warnings in non-debug build
kernel/generic/include/lib/refcount.h diff | blob | blame | history
kernel/generic/src/mm/as.c diff | blob | blame | history
kernel/generic/src/mm/backend_anon.c diff | blob | blame | history
kernel/generic/src/mm/backend_elf.c diff | blob | blame | history
kernel/generic/src/mm/frame.c diff | blob | blame | history
kernel/generic/src/mm/km.c diff | blob | blame | history
A portable microkernel-based multiserver operating system written from scratch.