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.c	sandbox: Allow reading/writing of RAM buffer	2014-01-08 17:25:03 -07:00
Makefile	sandbox: Use system headers first for sandbox's os.c	2013-11-21 16:54:26 -07:00
os.c	sandbox: fix the return type of os_free() function	2014-01-24 16:59:08 -05:00
start.c	sandbox: Add facility to save/restore sandbox state	2014-01-08 17:25:08 -07:00
state.c	sandbox: Add facility to save/restore sandbox state	2014-01-08 17:25:08 -07:00
u-boot.lds	Coding Style cleanup: remove trailing white space	2013-10-14 16:06:53 -04:00