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