CBMC
|
Go to the source code of this file.
Functions | |
void | openlog (const char *ident, int option, int facility) |
void | closelog (void) |
void | syslog (int priority, const char *format,...) |
void _syslog | $DARWIN_EXTSN (int priority, const char *format,...) |
void | __syslog_chk (int priority, int flag, const char *format,...) |
void _syslog $DARWIN_EXTSN | ( | int | priority, |
const char * | format, | ||
... | |||
) |
void __syslog_chk | ( | int | priority, |
int | flag, | ||
const char * | format, | ||
... | |||
) |
void openlog | ( | const char * | ident, |
int | option, | ||
int | facility | ||
) |