CBMC
syslog.c
Go to the documentation of this file.
1
/* FUNCTION: openlog */
2
3
void
openlog
(
const
char
*ident,
int
option,
int
facility)
4
{
5
(void)*ident;
6
(void)option;
7
(void)facility;
8
}
9
10
/* FUNCTION: closelog */
11
12
void
closelog
(
void
)
13
{
14
}
15
16
/* FUNCTION: syslog */
17
18
void
syslog
(
int
priority,
const
char
*
format
, ...)
19
{
20
(void)priority;
21
(void)*
format
;
22
}
23
24
/* FUNCTION: __syslog_chk */
25
26
void
__syslog_chk
(
int
priority,
int
flag,
const
char
*
format
, ...)
27
{
28
(void)priority;
29
(void)flag;
30
(void)*
format
;
31
}
format
static format_containert< T > format(const T &o)
Definition:
format.h:37
openlog
void openlog(const char *ident, int option, int facility)
Definition:
syslog.c:3
syslog
void syslog(int priority, const char *format,...)
Definition:
syslog.c:18
__syslog_chk
void __syslog_chk(int priority, int flag, const char *format,...)
Definition:
syslog.c:26
closelog
void closelog(void)
Definition:
syslog.c:12
src
ansi-c
library
syslog.c
Generated by
1.9.1