Mark non-returning function as noreturn to help some compiler versions

Signed-off-by: Patrick Georgi <patrick.georgi@secunet.com>
Acked-by: Patrick Georgi <patrick.georgi@secunet.com>


git-svn-id: svn://svn.coreboot.org/coreboot/trunk@6418 2b7e53f0-3cfb-0310-b3e9-8179ed1497e1
This commit is contained in:
Patrick Georgi 2011-03-01 07:30:14 +00:00 committed by Patrick Georgi
parent 6eb6a7c8d5
commit 11ac1cfaa3
1 changed files with 1 additions and 1 deletions

View File

@ -32,7 +32,7 @@ static void banner(const char *s)
printk(BIOS_DEBUG, " * %s\n", s);
}
static void hcf(void)
static void __attribute__((noreturn)) hcf(void)
{
print_emerg("DIE\n");
/* this guarantees we flush the UART fifos (if any) and also