CBMC
Loading...
Searching...
No Matches
syslog.c File Reference

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

Function Documentation

◆ __syslog_chk()

void __syslog_chk ( int priority,
int flag,
const char * format,
... )

Definition at line 34 of file syslog.c.

◆ _syslog$DARWIN_EXTSN()

void _syslog$DARWIN_EXTSN ( int priority,
const char * format,
... )

Definition at line 26 of file syslog.c.

◆ closelog()

void closelog ( void )

Definition at line 12 of file syslog.c.

◆ openlog()

void openlog ( const char * ident,
int option,
int facility )

Definition at line 3 of file syslog.c.

◆ syslog()

void syslog ( int priority,
const char * format,
... )

Definition at line 18 of file syslog.c.