0370bcf40c
Add a __noreturn macro that wraps __attribute__((noreturn)) and replace current users with the macro. Change-Id: Iddd0728cf79678c3d1c1f7e7946c27375a644a7d Signed-off-by: Aaron Durbin <adurbin@chromium.org> Reviewed-on: https://review.coreboot.org/28505 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Furquan Shaikh <furquan@google.com> Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net> |
||
---|---|---|
.. | ||
console.c | ||
die.c | ||
hw-debug_sink.adb | ||
hw-debug_sink.ads | ||
init.c | ||
Kconfig | ||
Makefile.inc | ||
post.c | ||
printk.c | ||
vsprintf.c | ||
vtxprintf.c |