2
* ARB kernel interface.
4
* This file is generated by aisc_mkpt.
5
* Any changes you make here will be overwritten later!
13
# error P_ is not defined
16
/* define ARB attributes: */
18
# include <attributes.h>
27
void GBK_dump_backtrace P_((FILE *out, GB_ERROR error));
28
void GBK_install_SIGSEGV_handler P_((GB_BOOL install));
29
void GBK_terminate P_((const char *error));
30
void GBK_terminatef P_((const char *templat, ...)) __ATTR__FORMAT(1);
31
GB_ERROR GBK_assert_msg P_((const char *assertion, const char *file, int linenr));
38
#error ad_k_prot.h included twice
39
#endif /* AD_K_PROT_H */