source: trunk/kernel/kern/printk.h @ 246

Last change on this file since 246 was 188, checked in by alain, 7 years ago

Redefine the PIC device API.

File size: 9.2 KB
RevLine 
[1]1/*
2 * printk.h - Kernel Log & debug messages API definition.
3 *
4 * authors  Alain Greiner (2016)
5 *
6 * Copyright (c) UPMC Sorbonne Universites
7 *
8 * This file is part of ALMOS-MKH.
9 *
10 * ALMOS-MKH is free software; you can redistribute it and/or modify it
11 * under the terms of the GNU General Public License as published by
12 * the Free Software Foundation; version 2.0 of the License.
13 *
14 * ALMOS-MKH is distributed in the hope that it will be useful, but
15 * WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
17 * General Public License for more details.
18 *
19 * You should have received a copy of the GNU General Public License
20 * along with ALMOS-MKH; if not, write to the Free Software Foundation,
21 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
22 */
23
24///////////////////////////////////////////////////////////////////////////////////
25// The printk.c and printk.h files define the functions used by the kernel
[5]26// to display messages on a text terminal.
27// Two access modes are supported:
28// - The printk() function displays kernel messages on the kernel terminal TXT0,
29//   using a busy waiting policy: It calls directly the relevant TXT driver,
30//   after taking the TXT0 chdev lock for exclusive access to the TXT0 terminal.
31// - The user_printk() function displays messages on the calling thread private
32//   terminal, using a descheduling policy: it register the request in the selected
33//   TXT chdev waiting queue and deschedule. The calling thread is reactivated by
34//   the IRQ signaling completion.
35// Both functions use the generic TXT device to call the proper implementation
[1]36// dependant TXT driver.
[5]37// Finally these files define a set of conditionnal trace <***_dmsg> for debug.
[1]38///////////////////////////////////////////////////////////////////////////////////
39
40#ifndef _PRINTK_H
41#define _PRINTK_H
42
[5]43#include <hal_types.h>
44#include <stdarg.h>
[1]45
[5]46
47/**********************************************************************************
[23]48 * This function build a formated string.
49 * The supported formats are defined below :
50 *   %c : single character
51 *   %d : signed decimal 32 bits integer
52 *   %u : unsigned decimal 32 bits integer
53 *   %x : hexadecimal 32 bits integer
54 *   %l : hexadecimal 64 bits integer
55 *   %s : NUL terminated character string
56 **********************************************************************************
57 * @ string     : pointer on target buffer (allocated by caller).
58 * @ length     : target buffer length (number of bytes).
59 * @ format     : format respecting the printf syntax.
60 * @ returns the string length (including NUL) if success / return -1 if error.
61 *********************************************************************************/
62uint32_t snprintf( char     * string,
63                   uint32_t   length,
64                   char     * format, ... );
65
66/**********************************************************************************
[5]67 * This function displays a formated string on the kernel terminal TXT0,
68 * using a busy waiting policy: It calls directly the relevant TXT driver,
[103]69 * after taking the lock for exclusive access to the TXT0 terminal.
[5]70 **********************************************************************************
71 * @ format     : formated string.
72 *********************************************************************************/
[103]73void printk( char* format, ... );
[1]74
[5]75/**********************************************************************************
[103]76 * This function displays a formated string on the kernel terminal TXT0,
77 * using a busy waiting policy: It calls directly the relevant TXT driver,
78 * without taking the the lock protecting exclusive access to TXT0 terminal.
[5]79 **********************************************************************************
80 * @ format     : formated string.
81 *********************************************************************************/
[103]82void nolock_printk( char* format, ... );
[1]83
[5]84/**********************************************************************************
[188]85 * This function displays a "PANIC" message and force the calling core in
[5]86 * sleeping mode if a Boolean condition is false.
87 * These functions are actually used to debug the kernel...
88 **********************************************************************************
89 * @ condition     : condition that must be true.
90 * @ function_name : name of the calling function.
91 * @ string        : error message if condition is false.
92 *********************************************************************************/
93inline void assert( bool_t       condition,
94                    const char * function_name,
95                    char       * string );
96
[188]97/**********************************************************************************
98 * This function displays a "PANIC" message and force the calling core in
99 * sleeping mode if a Boolean condition is false,
100 * without taking the the lock protecting exclusive access to TXT0 terminal.
101 **********************************************************************************
102 * @ condition     : condition that must be true.
103 * @ function_name : name of the calling function.
104 * @ string        : error message if condition is false.
105 *********************************************************************************/
106inline void nolock_assert( bool_t       condition,
107                           const char * function_name,
108                           char       * string );
109
[1]110///////////////////////////////////////////////////////////////////////////////////
111//       Conditionnal debug macros
112///////////////////////////////////////////////////////////////////////////////////
113
[50]114#if CONFIG_CLUSTER_DEBUG
115#define cluster_dmsg(...)   printk(__VA_ARGS__)
116#else
117#define cluster_dmsg(...)
118#endif
119
[5]120#if CONFIG_CONTEXT_DEBUG
121#define context_dmsg(...)   printk(__VA_ARGS__)
122#else
123#define context_dmsg(...)
124#endif
125
[1]126#if CONFIG_CORE_DEBUG
[5]127#define core_dmsg(...)   printk(__VA_ARGS__)
[1]128#else
129#define core_dmsg(...)
130#endif
131
[50]132#if CONFIG_DEVFS_DEBUG
133#define devfs_dmsg(...)   printk(__VA_ARGS__)
134#else
135#define devfs_dmsg(...)
136#endif
137
138#if CONFIG_DMA_DEBUG
139#define dma_dmsg(...)   printk(__VA_ARGS__)
140#else
141#define dma_dmsg(...)
142#endif
143
[1]144#if CONFIG_DQDT_DEBUG
[5]145#define dma_dmsg(...)   printk(__VA_ARGS__)
[1]146#else
[5]147#define dma_dmsg(...)
148#endif
149
150#if CONFIG_DQDT_DEBUG
151#define dqdt_dmsg(...)   printk(__VA_ARGS__)
152#else
[1]153#define dqdt_dmsg(...)
154#endif
155
156#if CONFIG_ELF_DEBUG
[5]157#define elf_dmsg(...)   printk(__VA_ARGS__)
[1]158#else
159#define elf_dmsg(...)
160#endif
161
[5]162#if CONFIG_EXEC_DEBUG
163#define exec_dmsg(...)   printk(__VA_ARGS__)
[1]164#else
[5]165#define exec_dmsg(...)
[1]166#endif
167
[50]168#if CONFIG_FATFS_DEBUG
169#define fatfs_dmsg(...)   printk(__VA_ARGS__)
170#else
171#define fatfs_dmsg(...)
172#endif
173
[5]174#if CONFIG_FBF_DEBUG
175#define fbf_dmsg(...)   printk(__VA_ARGS__)
[1]176#else
[5]177#define fbf_dmsg(...)
[1]178#endif
179
[5]180#if CONFIG_FORK_DEBUG
181#define fork_dmsg(...)   printk(__VA_ARGS__)
182#else
183#define fork_dmsg(...)
184#endif
185
[50]186#if CONFIG_IDLE_DEBUG
187#define idle_dmsg(...) printk(__VA_ARGS__)
188#else
189#define idle_dmsg(...)
190#endif
191
[1]192#if CONFIG_IOC_DEBUG
[5]193#define ioc_dmsg(...)   printk(__VA_ARGS__)
[1]194#else
195#define ioc_dmsg(...)
196#endif
197
[188]198#if CONFIG_IRQ_DEBUG
199#define irq_dmsg(...)   printk(__VA_ARGS__)
200#else
201#define irq_dmsg(...)
202#endif
203
[5]204#if CONFIG_KCM_DEBUG
205#define kcm_dmsg(...) printk(__VA_ARGS__)
206#else
207#define kcm_dmsg(...)
208#endif
209
210#if CONFIG_KHM_DEBUG
211#define khm_dmsg(...) printk(__VA_ARGS__)
212#else
213#define khm_dmsg(...)
214#endif
215
[1]216#if CONFIG_KINIT_DEBUG
[103]217#define kinit_dmsg(...) nolock_printk(__VA_ARGS__)
[1]218#else
219#define kinit_dmsg(...)
220#endif
221
222#if CONFIG_KMEM_DEBUG
223#define kmem_dmsg(...) printk(__VA_ARGS__)
224#else
225#define kmem_dmsg(...)
226#endif
227
[5]228#if CONFIG_MAPPER_DEBUG
229#define mapper_dmsg(...)   printk(__VA_ARGS__)
230#else
231#define mapper_dmsg(...)
232#endif
233
[1]234#if CONFIG_MMC_DEBUG
[5]235#define mmc_dmsg(...)   printk(__VA_ARGS__)
[1]236#else
237#define mmc_dmsg(...)
238#endif
239
240#if CONFIG_NIC_DEBUG
[5]241#define nic_dmsg(...)   printk(__VA_ARGS__)
[1]242#else
243#define nic_dmsg(...)
244#endif
245
246#if CONFIG_PIC_DEBUG
[5]247#define pic_dmsg(...)   printk(__VA_ARGS__)
[1]248#else
249#define pic_dmsg(...)
250#endif
251
[5]252#if CONFIG_PPM_DEBUG
253#define ppm_dmsg(...)   printk(__VA_ARGS__)
254#else
255#define ppm_dmsg(...)
256#endif
257
[1]258#if CONFIG_PROCESS_DEBUG
[5]259#define process_dmsg(...)   printk(__VA_ARGS__)
[1]260#else
261#define process_dmsg(...)
262#endif
263
264#if CONFIG_RPC_DEBUG
[5]265#define rpc_dmsg(...)   printk(__VA_ARGS__)
[1]266#else
267#define rpc_dmsg(...)
268#endif
269
270#if CONFIG_SCHED_DEBUG
[5]271#define sched_dmsg(...)   printk(__VA_ARGS__)
[1]272#else
273#define sched_dmsg(...)
274#endif
275
[23]276#if CONFIG_SIGNAL_DEBUG
277#define signal_dmsg(...)   printk(__VA_ARGS__)
278#else
279#define signal_dmsg(...)
280#endif
281
[16]282#if CONFIG_SYSCALL_DEBUG
283#define syscall_dmsg(...)   printk(__VA_ARGS__)
284#else
285#define syscall_dmsg(...)
286#endif
287
[1]288#if CONFIG_THREAD_DEBUG
[5]289#define thread_dmsg(...)   printk(__VA_ARGS__)
[1]290#else
291#define thread_dmsg(...)
292#endif
293
294#if CONFIG_TXT_DEBUG
[5]295#define txt_dmsg(...)   printk(__VA_ARGS__)
[1]296#else
297#define txt_dmsg(...)
298#endif
299
300#if CONFIG_VFS_DEBUG
[5]301#define vfs_dmsg(...)   printk(__VA_ARGS__)
[1]302#else
303#define vfs_dmsg(...)
304#endif
305
306#if CONFIG_VMM_DEBUG
[5]307#define vmm_dmsg(...)   printk(__VA_ARGS__)
[1]308#else
309#define vmm_dmsg(...)
310#endif
311
312
313#endif  // _PRINTK_H
314
315// Local Variables:
316// tab-width: 4
317// c-basic-offset: 4
318// c-file-offsets:((innamespace . 0)(inline-open . 0))
319// indent-tabs-mode: nil
320// End:
321// vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4
322
Note: See TracBrowser for help on using the repository browser.