genode/repos/os/include/dde_kit/panic.h
Christian Helmuth f8dcf76480 dde_kit: panic does not return
The attributes enables to use panic as final statement in branches of
functions declared to return.
2014-11-12 14:44:16 +01:00

34 lines
711 B
C

/*
* \brief Debugging support
* \author Christian Helmuth
* \date 2008-08-15
*/
/*
* Copyright (C) 2008-2013 Genode Labs GmbH
*
* This file is part of the Genode OS framework, which is distributed
* under the terms of the GNU General Public License version 2.
*/
#ifndef _INCLUDE__DDE_KIT__PANIC_H_
#define _INCLUDE__DDE_KIT__PANIC_H_
/**
* Print message and block
*
* \param fmt message format string
*/
__attribute__((noreturn)) void dde_kit_panic(const char *fmt, ...);
/**
* Print debug message and block
*
* \param fmt message format string
*
* Logs the debug message with appended newline.
*/
void dde_kit_debug(const char *fmt, ...);
#endif /* _INCLUDE__DDE_KIT__PANIC_H_ */