CBMC
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

◆ $DARWIN_EXTSN()

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

Definition at line 26 of file syslog.c.

◆ __syslog_chk()

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

Definition at line 34 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.