|
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_chk | ( | int | priority, |
| int | flag, | ||
| const char * | format, | ||
| ... ) |
| void _syslog$DARWIN_EXTSN | ( | int | priority, |
| const char * | format, | ||
| ... ) |
| void openlog | ( | const char * | ident, |
| int | option, | ||
| int | facility ) |