sandbox: fix the return type of os_free() function
authorMasahiro Yamada <yamada.m@jp.panasonic.com>
Wed, 15 Jan 2014 04:06:41 +0000 (13:06 +0900)
committerTom Rini <trini@ti.com>
Fri, 24 Jan 2014 21:59:08 +0000 (16:59 -0500)
commit347d06dec43e2e6ca50f975d5472072a977c528f
tree11ebfdaf3d4af2f2abb6f31831060afdb11d246e
parentbf1af3d872831dd33fff223f007bbcf4e546f5b8
sandbox: fix the return type of os_free() function

The function os_free() returns nothing.
Its return type should be "void" rather than "void *".

Signed-off-by: Masahiro Yamada <yamada.m@jp.panasonic.com>
arch/sandbox/cpu/os.c
include/os.h