Masahiro Yamada 347d06dec4 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>

2014-01-24 16:59:08 -05:00

..

cpu

sandbox: fix the return type of os_free() function

2014-01-24 16:59:08 -05:00

include/asm

sandbox: Add a prototype for cleanup_before_linux()

2014-01-08 17:26:01 -07:00

lib

sandbox: convert makefiles to Kbuild style

2013-10-31 13:26:44 -04:00

config.mk

Add GPL-2.0+ SPDX-License-Identifier to source files

2013-07-24 09:44:38 -04:00