L4Re Operating System Framework
Interface and Usage Documentation
|
Log C interface. More...
Functions | |
void | l4re_log_print (char const *string) L4_NOTHROW |
Write a null terminated string to the default log. | |
void | l4re_log_printn (char const *string, int len) L4_NOTHROW |
Write a string of a given length to the default log. | |
void | l4re_log_print_srv (const l4_cap_idx_t logcap, char const *string) L4_NOTHROW |
Write a null terminated string to a log. | |
void | l4re_log_printn_srv (const l4_cap_idx_t logcap, char const *string, int len) L4_NOTHROW |
Write a string of a given length to a log. | |
Log C interface.
|
inline |
Write a null terminated string to the default log.
string | Text to print, null terminated. |
Definition at line 91 of file log.h.
References l4re_log_print_srv(), and l4re_env_t::log.
void l4re_log_print_srv | ( | const l4_cap_idx_t | logcap, |
char const * | string | ||
) |
Write a null terminated string to a log.
logcap | Log capability (service). |
string | Text to print, null terminated. |
Referenced by l4re_log_print().
|
inline |
Write a string of a given length to the default log.
string | Text to print, null terminated. |
len | Length of string in bytes. |
Definition at line 97 of file log.h.
References l4re_log_printn_srv(), and l4re_env_t::log.
void l4re_log_printn_srv | ( | const l4_cap_idx_t | logcap, |
char const * | string, | ||
int | len | ||
) |
Write a string of a given length to a log.
logcap | Log capability (service). |
string | Text to print, null terminated. |
len | Length of string in bytes. |
Referenced by l4re_log_printn().