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
22
32l4re_log_print(char const *string) L4_NOTHROW;
33
44l4re_log_printn(char const *string, int len) L4_NOTHROW;
45
46
47
48
58L4_CV void
60 char const *string) L4_NOTHROW;
61
72L4_CV void
74 char const *string, int len) L4_NOTHROW;
75
76
77/********** Implementations ***************************/
78
80l4re_log_print(char const *string) L4_NOTHROW
81{
82 l4re_log_print_srv(l4re_global_env->log, string);
83}
84
86l4re_log_printn(char const *string, int len) L4_NOTHROW
87{
88 l4re_log_printn_srv(l4re_global_env->log, string, len);
89}
90
Environment interface.
void l4re_log_print(char const *string) L4_NOTHROW
Write a null terminated string to the default log.
Definition log.h:80
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:86
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:335
#define __END_DECLS
End section with C types and functions.
Definition compiler.h:167
#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:159
#define L4_INLINE
L4 Inline function attribute.
Definition compiler.h:51
#define __BEGIN_DECLS
Start section with C types and functions.
Definition compiler.h:164
l4_cap_idx_t log
Logging object-capability.
Definition env.h:103