kernel: Mark some contigfree()/kfree() arguments as "never NULL".
authorSascha Wildner <saw@online.de>
Tue, 18 Feb 2014 17:43:18 +0000 (18:43 +0100)
committerSascha Wildner <saw@online.de>
Tue, 18 Feb 2014 17:43:18 +0000 (18:43 +0100)
commit1b0a8f7cbcf964cd1f50d3a290352253f4850923
tree3834b7a1a285c121cbd5ced3ec8837242b22c22c
parent5cc8040360f553fd66ba3aafbd5b59c73361777c
kernel: Mark some contigfree()/kfree() arguments as "never NULL".

Those are contigfree()'s addr and kfree()'s addr and type.
contigfree()'s type isn't actually used by the function.
sys/sys/malloc.h