|
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,...) |