L4Re Operating System Framework
Interface and Usage Documentation
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
log.h
Go to the documentation of this file.
1
5/*
6 * (c) 2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>
7 * economic rights: Technische Universität Dresden (Germany)
8 *
9 * License: see LICENSE.spdx (in this directory or the directories above)
10 */
11#pragma once
12
19#include <l4/re/env.h>
20#include <l4/sys/compiler.h>
21
23
33l4re_log_print(char const *string) L4_NOTHROW;
34
45l4re_log_printn(char const *string, int len) L4_NOTHROW;
46
47
48
49
59L4_CV void
61 char const *string) L4_NOTHROW;
62
73L4_CV void
75 char const *string, int len) L4_NOTHROW;
76
77
78/********** Implementations ***************************/
79
81l4re_log_print(char const *string) L4_NOTHROW
82{
83 l4re_log_print_srv(l4re_global_env->log, string);
84}
85
87l4re_log_printn(char const *string, int len) L4_NOTHROW
88{
89 l4re_log_printn_srv(l4re_global_env->log, string, len);
90}
91
L4 compiler related defines.
Environment interface.
L4_BEGIN_DECLS void l4re_log_print(char const *string) L4_NOTHROW
Write a null terminated string to the default log.
Definition log.h:81
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(char const *string, int len) L4_NOTHROW
Write a string of a given length to the default log.
Definition log.h:87
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.
unsigned long l4_cap_idx_t
Capability selector type.
Definition types.h:336
#define L4_CV
Define calling convention.
Definition linkage.h:33
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
Definition compiler.h:161
#define L4_INLINE
L4 Inline function attribute.
Definition compiler.h:51
#define L4_BEGIN_DECLS
Start section with C types and functions.
Definition compiler.h:165
#define L4_END_DECLS
End section with C types and functions.
Definition compiler.h:166
l4_cap_idx_t log
Logging object-capability.
Definition env.h:103