tree 95fdb1f7c63e1e6158b737e426e99d92ecd662c1
parent d36f0c66389eb5e4dbd9b095eea252230ba3273e
author Heiko Carstens <heiko.carstens@de.ibm.com> 1230208756 +0100
committer Martin Schwidefsky <schwidefsky@de.ibm.com> 1230208751 +0100

[S390] mark disabled_wait as noreturn function

disabled_wait() won't return, so add an __attribute__((noreturn)).
This will remove a false positive finding which our internal code
checker reports.

Signed-off-by: Heiko Carstens <heiko.carstens@de.ibm.com>
Signed-off-by: Martin Schwidefsky <schwidefsky@de.ibm.com>