Subversion Repositories HelenOS

Rev

Rev 4343 | Rev 4345 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 4343 Rev 4344
1
/*
1
/*
2
 * Copyright (c) 2005 Jakub Jermar
2
 * Copyright (c) 2005 Jakub Jermar
3
 * All rights reserved.
3
 * All rights reserved.
4
 *
4
 *
5
 * Redistribution and use in source and binary forms, with or without
5
 * Redistribution and use in source and binary forms, with or without
6
 * modification, are permitted provided that the following conditions
6
 * modification, are permitted provided that the following conditions
7
 * are met:
7
 * are met:
8
 *
8
 *
9
 * - Redistributions of source code must retain the above copyright
9
 * - Redistributions of source code must retain the above copyright
10
 *   notice, this list of conditions and the following disclaimer.
10
 *   notice, this list of conditions and the following disclaimer.
11
 * - Redistributions in binary form must reproduce the above copyright
11
 * - Redistributions in binary form must reproduce the above copyright
12
 *   notice, this list of conditions and the following disclaimer in the
12
 *   notice, this list of conditions and the following disclaimer in the
13
 *   documentation and/or other materials provided with the distribution.
13
 *   documentation and/or other materials provided with the distribution.
14
 * - The name of the author may not be used to endorse or promote products
14
 * - The name of the author may not be used to endorse or promote products
15
 *   derived from this software without specific prior written permission.
15
 *   derived from this software without specific prior written permission.
16
 *
16
 *
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
17
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
18
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
19
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
20
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
21
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
22
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
23
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
24
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
25
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
 */
27
 */
28
 
28
 
29
/** @addtogroup genericconsole
29
/** @addtogroup genericconsole
30
 * @{
30
 * @{
31
 */
31
 */
32
 
32
 
33
/**
33
/**
34
 * @file    cmd.c
34
 * @file    cmd.c
35
 * @brief   Kernel console command wrappers.
35
 * @brief   Kernel console command wrappers.
36
 *
36
 *
37
 * This file is meant to contain all wrapper functions for
37
 * This file is meant to contain all wrapper functions for
38
 * all kconsole commands. The point is in separating
38
 * all kconsole commands. The point is in separating
39
 * kconsole specific wrappers from kconsole-unaware functions
39
 * kconsole specific wrappers from kconsole-unaware functions
40
 * from other subsystems.
40
 * from other subsystems.
41
 */
41
 */
42
 
42
 
43
#include <console/cmd.h>
43
#include <console/cmd.h>
44
#include <console/console.h>
44
#include <console/console.h>
45
#include <console/kconsole.h>
45
#include <console/kconsole.h>
46
#include <print.h>
46
#include <print.h>
47
#include <panic.h>
47
#include <panic.h>
48
#include <arch/types.h>
48
#include <arch/types.h>
49
#include <adt/list.h>
49
#include <adt/list.h>
50
#include <arch.h>
50
#include <arch.h>
51
#include <config.h>
51
#include <config.h>
52
#include <func.h>
52
#include <func.h>
53
#include <macros.h>
53
#include <macros.h>
54
#include <debug.h>
54
#include <debug.h>
55
#include <symtab.h>
55
#include <symtab.h>
56
#include <cpu.h>
56
#include <cpu.h>
57
#include <mm/tlb.h>
57
#include <mm/tlb.h>
58
#include <arch/mm/tlb.h>
58
#include <arch/mm/tlb.h>
59
#include <mm/frame.h>
59
#include <mm/frame.h>
60
#include <main/version.h>
60
#include <main/version.h>
61
#include <mm/slab.h>
61
#include <mm/slab.h>
62
#include <proc/scheduler.h>
62
#include <proc/scheduler.h>
63
#include <proc/thread.h>
63
#include <proc/thread.h>
64
#include <proc/task.h>
64
#include <proc/task.h>
65
#include <ipc/ipc.h>
65
#include <ipc/ipc.h>
66
#include <ipc/irq.h>
66
#include <ipc/irq.h>
67
 
67
 
68
#ifdef CONFIG_TEST
68
#ifdef CONFIG_TEST
69
#include <test.h>
69
#include <test.h>
70
#endif
70
#endif
71
 
71
 
72
/* Data and methods for 'help' command. */
72
/* Data and methods for 'help' command. */
73
static int cmd_help(cmd_arg_t *argv);
73
static int cmd_help(cmd_arg_t *argv);
74
static cmd_info_t help_info = {
74
static cmd_info_t help_info = {
75
    .name = "help",
75
    .name = "help",
76
    .description = "List of supported commands.",
76
    .description = "List of supported commands.",
77
    .func = cmd_help,
77
    .func = cmd_help,
78
    .argc = 0
78
    .argc = 0
79
};
79
};
80
 
80
 
81
static cmd_info_t exit_info = {
81
static cmd_info_t exit_info = {
82
    .name = "exit",
82
    .name = "exit",
83
    .description = "Exit kconsole.",
83
    .description = "Exit kconsole.",
84
    .argc = 0
84
    .argc = 0
85
};
85
};
86
 
86
 
87
static int cmd_reboot(cmd_arg_t *argv);
87
static int cmd_reboot(cmd_arg_t *argv);
88
static cmd_info_t reboot_info = {
88
static cmd_info_t reboot_info = {
89
    .name = "reboot",
89
    .name = "reboot",
90
    .description = "Reboot.",
90
    .description = "Reboot.",
91
    .func = cmd_reboot,
91
    .func = cmd_reboot,
92
    .argc = 0
92
    .argc = 0
93
};
93
};
94
 
94
 
95
static int cmd_uptime(cmd_arg_t *argv);
95
static int cmd_uptime(cmd_arg_t *argv);
96
static cmd_info_t uptime_info = {
96
static cmd_info_t uptime_info = {
97
    .name = "uptime",
97
    .name = "uptime",
98
    .description = "Print uptime information.",
98
    .description = "Print uptime information.",
99
    .func = cmd_uptime,
99
    .func = cmd_uptime,
100
    .argc = 0
100
    .argc = 0
101
};
101
};
102
 
102
 
103
static int cmd_continue(cmd_arg_t *argv);
103
static int cmd_continue(cmd_arg_t *argv);
104
static cmd_info_t continue_info = {
104
static cmd_info_t continue_info = {
105
    .name = "continue",
105
    .name = "continue",
106
    .description = "Return console back to userspace.",
106
    .description = "Return console back to userspace.",
107
    .func = cmd_continue,
107
    .func = cmd_continue,
108
    .argc = 0
108
    .argc = 0
109
};
109
};
110
 
110
 
111
#ifdef CONFIG_TEST
111
#ifdef CONFIG_TEST
112
static int cmd_tests(cmd_arg_t *argv);
112
static int cmd_tests(cmd_arg_t *argv);
113
static cmd_info_t tests_info = {
113
static cmd_info_t tests_info = {
114
    .name = "tests",
114
    .name = "tests",
115
    .description = "Print available kernel tests.",
115
    .description = "Print available kernel tests.",
116
    .func = cmd_tests,
116
    .func = cmd_tests,
117
    .argc = 0
117
    .argc = 0
118
};
118
};
119
 
119
 
120
static char test_buf[MAX_CMDLINE + 1];
120
static char test_buf[MAX_CMDLINE + 1];
121
static int cmd_test(cmd_arg_t *argv);
121
static int cmd_test(cmd_arg_t *argv);
122
static cmd_arg_t test_argv[] = {
122
static cmd_arg_t test_argv[] = {
123
    {
123
    {
124
        .type = ARG_TYPE_STRING,
124
        .type = ARG_TYPE_STRING,
125
        .buffer = test_buf,
125
        .buffer = test_buf,
126
        .len = sizeof(test_buf)
126
        .len = sizeof(test_buf)
127
    }
127
    }
128
};
128
};
129
static cmd_info_t test_info = {
129
static cmd_info_t test_info = {
130
    .name = "test",
130
    .name = "test",
131
    .description = "Run kernel test.",
131
    .description = "Run kernel test.",
132
    .func = cmd_test,
132
    .func = cmd_test,
133
    .argc = 1,
133
    .argc = 1,
134
    .argv = test_argv
134
    .argv = test_argv
135
};
135
};
136
 
136
 
137
static int cmd_bench(cmd_arg_t *argv);
137
static int cmd_bench(cmd_arg_t *argv);
138
static cmd_arg_t bench_argv[] = {
138
static cmd_arg_t bench_argv[] = {
139
    {
139
    {
140
        .type = ARG_TYPE_STRING,
140
        .type = ARG_TYPE_STRING,
141
        .buffer = test_buf,
141
        .buffer = test_buf,
142
        .len = sizeof(test_buf)
142
        .len = sizeof(test_buf)
143
    },
143
    },
144
    {
144
    {
145
        .type = ARG_TYPE_INT,
145
        .type = ARG_TYPE_INT,
146
    }
146
    }
147
};
147
};
148
static cmd_info_t bench_info = {
148
static cmd_info_t bench_info = {
149
    .name = "bench",
149
    .name = "bench",
150
    .description = "Run kernel test as benchmark.",
150
    .description = "Run kernel test as benchmark.",
151
    .func = cmd_bench,
151
    .func = cmd_bench,
152
    .argc = 2,
152
    .argc = 2,
153
    .argv = bench_argv
153
    .argv = bench_argv
154
};
154
};
155
#endif
155
#endif
156
 
156
 
157
/* Data and methods for 'description' command. */
157
/* Data and methods for 'description' command. */
158
static int cmd_desc(cmd_arg_t *argv);
158
static int cmd_desc(cmd_arg_t *argv);
159
static void desc_help(void);
159
static void desc_help(void);
160
static char desc_buf[MAX_CMDLINE+1];
160
static char desc_buf[MAX_CMDLINE+1];
161
static cmd_arg_t desc_argv = {
161
static cmd_arg_t desc_argv = {
162
    .type = ARG_TYPE_STRING,
162
    .type = ARG_TYPE_STRING,
163
    .buffer = desc_buf,
163
    .buffer = desc_buf,
164
    .len = sizeof(desc_buf)
164
    .len = sizeof(desc_buf)
165
};
165
};
166
static cmd_info_t desc_info = {
166
static cmd_info_t desc_info = {
167
    .name = "describe",
167
    .name = "describe",
168
    .description = "Describe specified command.",
168
    .description = "Describe specified command.",
169
    .help = desc_help,
169
    .help = desc_help,
170
    .func = cmd_desc,
170
    .func = cmd_desc,
171
    .argc = 1,
171
    .argc = 1,
172
    .argv = &desc_argv
172
    .argv = &desc_argv
173
};
173
};
174
 
174
 
175
/* Data and methods for 'symaddr' command. */
175
/* Data and methods for 'symaddr' command. */
176
static int cmd_symaddr(cmd_arg_t *argv);
176
static int cmd_symaddr(cmd_arg_t *argv);
177
static char symaddr_buf[MAX_CMDLINE+1];
177
static char symaddr_buf[MAX_CMDLINE+1];
178
static cmd_arg_t symaddr_argv = {
178
static cmd_arg_t symaddr_argv = {
179
    .type = ARG_TYPE_STRING,
179
    .type = ARG_TYPE_STRING,
180
    .buffer = symaddr_buf,
180
    .buffer = symaddr_buf,
181
    .len = sizeof(symaddr_buf)
181
    .len = sizeof(symaddr_buf)
182
};
182
};
183
static cmd_info_t symaddr_info = {
183
static cmd_info_t symaddr_info = {
184
    .name = "symaddr",
184
    .name = "symaddr",
185
    .description = "Return symbol address.",
185
    .description = "Return symbol address.",
186
    .func = cmd_symaddr,
186
    .func = cmd_symaddr,
187
    .argc = 1,
187
    .argc = 1,
188
    .argv = &symaddr_argv
188
    .argv = &symaddr_argv
189
};
189
};
190
 
190
 
191
static char set_buf[MAX_CMDLINE+1];
191
static char set_buf[MAX_CMDLINE+1];
192
static int cmd_set4(cmd_arg_t *argv);
192
static int cmd_set4(cmd_arg_t *argv);
193
static cmd_arg_t set4_argv[] = {
193
static cmd_arg_t set4_argv[] = {
194
    {
194
    {
195
        .type = ARG_TYPE_STRING,
195
        .type = ARG_TYPE_STRING,
196
        .buffer = set_buf,
196
        .buffer = set_buf,
197
        .len = sizeof(set_buf)
197
        .len = sizeof(set_buf)
198
    },
198
    },
199
    {
199
    {
200
        .type = ARG_TYPE_INT
200
        .type = ARG_TYPE_INT
201
    }
201
    }
202
};
202
};
203
static cmd_info_t set4_info = {
203
static cmd_info_t set4_info = {
204
    .name = "set4",
204
    .name = "set4",
205
    .description = "set <dest_addr> <value> - 4byte version",
205
    .description = "set <dest_addr> <value> - 4byte version",
206
    .func = cmd_set4,
206
    .func = cmd_set4,
207
    .argc = 2,
207
    .argc = 2,
208
    .argv = set4_argv
208
    .argv = set4_argv
209
};
209
};
210
 
210
 
211
/* Data and methods for 'call0' command. */
211
/* Data and methods for 'call0' command. */
212
static char call0_buf[MAX_CMDLINE + 1];
212
static char call0_buf[MAX_CMDLINE + 1];
213
static char carg1_buf[MAX_CMDLINE + 1];
213
static char carg1_buf[MAX_CMDLINE + 1];
214
static char carg2_buf[MAX_CMDLINE + 1];
214
static char carg2_buf[MAX_CMDLINE + 1];
215
static char carg3_buf[MAX_CMDLINE + 1];
215
static char carg3_buf[MAX_CMDLINE + 1];
216
 
216
 
217
static int cmd_call0(cmd_arg_t *argv);
217
static int cmd_call0(cmd_arg_t *argv);
218
static cmd_arg_t call0_argv = {
218
static cmd_arg_t call0_argv = {
219
    .type = ARG_TYPE_STRING,
219
    .type = ARG_TYPE_STRING,
220
    .buffer = call0_buf,
220
    .buffer = call0_buf,
221
    .len = sizeof(call0_buf)
221
    .len = sizeof(call0_buf)
222
};
222
};
223
static cmd_info_t call0_info = {
223
static cmd_info_t call0_info = {
224
    .name = "call0",
224
    .name = "call0",
225
    .description = "call0 <function> -> call function().",
225
    .description = "call0 <function> -> call function().",
226
    .func = cmd_call0,
226
    .func = cmd_call0,
227
    .argc = 1,
227
    .argc = 1,
228
    .argv = &call0_argv
228
    .argv = &call0_argv
229
};
229
};
230
 
230
 
231
/* Data and methods for 'mcall0' command. */
231
/* Data and methods for 'mcall0' command. */
232
static int cmd_mcall0(cmd_arg_t *argv);
232
static int cmd_mcall0(cmd_arg_t *argv);
233
static cmd_arg_t mcall0_argv = {
233
static cmd_arg_t mcall0_argv = {
234
    .type = ARG_TYPE_STRING,
234
    .type = ARG_TYPE_STRING,
235
    .buffer = call0_buf,
235
    .buffer = call0_buf,
236
    .len = sizeof(call0_buf)
236
    .len = sizeof(call0_buf)
237
};
237
};
238
static cmd_info_t mcall0_info = {
238
static cmd_info_t mcall0_info = {
239
    .name = "mcall0",
239
    .name = "mcall0",
240
    .description = "mcall0 <function> -> call function() on each CPU.",
240
    .description = "mcall0 <function> -> call function() on each CPU.",
241
    .func = cmd_mcall0,
241
    .func = cmd_mcall0,
242
    .argc = 1,
242
    .argc = 1,
243
    .argv = &mcall0_argv
243
    .argv = &mcall0_argv
244
};
244
};
245
 
245
 
246
/* Data and methods for 'call1' command. */
246
/* Data and methods for 'call1' command. */
247
static int cmd_call1(cmd_arg_t *argv);
247
static int cmd_call1(cmd_arg_t *argv);
248
static cmd_arg_t call1_argv[] = {
248
static cmd_arg_t call1_argv[] = {
249
    {
249
    {
250
        .type = ARG_TYPE_STRING,
250
        .type = ARG_TYPE_STRING,
251
        .buffer = call0_buf,
251
        .buffer = call0_buf,
252
        .len = sizeof(call0_buf)
252
        .len = sizeof(call0_buf)
253
    },
253
    },
254
    {
254
    {
255
        .type = ARG_TYPE_VAR,
255
        .type = ARG_TYPE_VAR,
256
        .buffer = carg1_buf,
256
        .buffer = carg1_buf,
257
        .len = sizeof(carg1_buf)
257
        .len = sizeof(carg1_buf)
258
    }
258
    }
259
};
259
};
260
static cmd_info_t call1_info = {
260
static cmd_info_t call1_info = {
261
    .name = "call1",
261
    .name = "call1",
262
    .description = "call1 <function> <arg1> -> call function(arg1).",
262
    .description = "call1 <function> <arg1> -> call function(arg1).",
263
    .func = cmd_call1,
263
    .func = cmd_call1,
264
    .argc = 2,
264
    .argc = 2,
265
    .argv = call1_argv
265
    .argv = call1_argv
266
};
266
};
267
 
267
 
268
/* Data and methods for 'call2' command. */
268
/* Data and methods for 'call2' command. */
269
static int cmd_call2(cmd_arg_t *argv);
269
static int cmd_call2(cmd_arg_t *argv);
270
static cmd_arg_t call2_argv[] = {
270
static cmd_arg_t call2_argv[] = {
271
    {
271
    {
272
        .type = ARG_TYPE_STRING,
272
        .type = ARG_TYPE_STRING,
273
        .buffer = call0_buf,
273
        .buffer = call0_buf,
274
        .len = sizeof(call0_buf)
274
        .len = sizeof(call0_buf)
275
    },
275
    },
276
    {
276
    {
277
        .type = ARG_TYPE_VAR,
277
        .type = ARG_TYPE_VAR,
278
        .buffer = carg1_buf,
278
        .buffer = carg1_buf,
279
        .len = sizeof(carg1_buf)
279
        .len = sizeof(carg1_buf)
280
    },
280
    },
281
    {
281
    {
282
        .type = ARG_TYPE_VAR,
282
        .type = ARG_TYPE_VAR,
283
        .buffer = carg2_buf,
283
        .buffer = carg2_buf,
284
        .len = sizeof(carg2_buf)
284
        .len = sizeof(carg2_buf)
285
    }
285
    }
286
};
286
};
287
static cmd_info_t call2_info = {
287
static cmd_info_t call2_info = {
288
    .name = "call2",
288
    .name = "call2",
289
    .description = "call2 <function> <arg1> <arg2> -> call function(arg1,arg2).",
289
    .description = "call2 <function> <arg1> <arg2> -> call function(arg1,arg2).",
290
    .func = cmd_call2,
290
    .func = cmd_call2,
291
    .argc = 3,
291
    .argc = 3,
292
    .argv = call2_argv
292
    .argv = call2_argv
293
};
293
};
294
 
294
 
295
/* Data and methods for 'call3' command. */
295
/* Data and methods for 'call3' command. */
296
static int cmd_call3(cmd_arg_t *argv);
296
static int cmd_call3(cmd_arg_t *argv);
297
static cmd_arg_t call3_argv[] = {
297
static cmd_arg_t call3_argv[] = {
298
    {
298
    {
299
        .type = ARG_TYPE_STRING,
299
        .type = ARG_TYPE_STRING,
300
        .buffer = call0_buf,
300
        .buffer = call0_buf,
301
        .len = sizeof(call0_buf)
301
        .len = sizeof(call0_buf)
302
    },
302
    },
303
    {
303
    {
304
        .type = ARG_TYPE_VAR,
304
        .type = ARG_TYPE_VAR,
305
        .buffer = carg1_buf,
305
        .buffer = carg1_buf,
306
        .len = sizeof(carg1_buf)
306
        .len = sizeof(carg1_buf)
307
    },
307
    },
308
    {
308
    {
309
        .type = ARG_TYPE_VAR,
309
        .type = ARG_TYPE_VAR,
310
        .buffer = carg2_buf,
310
        .buffer = carg2_buf,
311
        .len = sizeof(carg2_buf)
311
        .len = sizeof(carg2_buf)
312
    },
312
    },
313
    {
313
    {
314
        .type = ARG_TYPE_VAR,
314
        .type = ARG_TYPE_VAR,
315
        .buffer = carg3_buf,
315
        .buffer = carg3_buf,
316
        .len = sizeof(carg3_buf)
316
        .len = sizeof(carg3_buf)
317
    }
317
    }
318
 
318
 
319
};
319
};
320
static cmd_info_t call3_info = {
320
static cmd_info_t call3_info = {
321
    .name = "call3",
321
    .name = "call3",
322
    .description = "call3 <function> <arg1> <arg2> <arg3> -> call function(arg1,arg2,arg3).",
322
    .description = "call3 <function> <arg1> <arg2> <arg3> -> call function(arg1,arg2,arg3).",
323
    .func = cmd_call3,
323
    .func = cmd_call3,
324
    .argc = 4,
324
    .argc = 4,
325
    .argv = call3_argv
325
    .argv = call3_argv
326
};
326
};
327
 
327
 
328
/* Data and methods for 'halt' command. */
328
/* Data and methods for 'halt' command. */
329
static int cmd_halt(cmd_arg_t *argv);
329
static int cmd_halt(cmd_arg_t *argv);
330
static cmd_info_t halt_info = {
330
static cmd_info_t halt_info = {
331
    .name = "halt",
331
    .name = "halt",
332
    .description = "Halt the kernel.",
332
    .description = "Halt the kernel.",
333
    .func = cmd_halt,
333
    .func = cmd_halt,
334
    .argc = 0
334
    .argc = 0
335
};
335
};
336
 
336
 
337
/* Data and methods for 'physmem' command. */
337
/* Data and methods for 'physmem' command. */
338
static int cmd_physmem(cmd_arg_t *argv);
338
static int cmd_physmem(cmd_arg_t *argv);
339
cmd_info_t physmem_info = {
339
cmd_info_t physmem_info = {
340
    .name = "physmem",
340
    .name = "physmem",
341
    .description = "Print physical memory configuration.",
341
    .description = "Print physical memory configuration.",
342
    .help = NULL,
342
    .help = NULL,
343
    .func = cmd_physmem,
343
    .func = cmd_physmem,
344
    .argc = 0,
344
    .argc = 0,
345
    .argv = NULL
345
    .argv = NULL
346
};
346
};
347
 
347
 
348
/* Data and methods for 'tlb' command. */
348
/* Data and methods for 'tlb' command. */
349
static int cmd_tlb(cmd_arg_t *argv);
349
static int cmd_tlb(cmd_arg_t *argv);
350
cmd_info_t tlb_info = {
350
cmd_info_t tlb_info = {
351
    .name = "tlb",
351
    .name = "tlb",
352
    .description = "Print TLB of current processor.",
352
    .description = "Print TLB of current processor.",
353
    .help = NULL,
353
    .help = NULL,
354
    .func = cmd_tlb,
354
    .func = cmd_tlb,
355
    .argc = 0,
355
    .argc = 0,
356
    .argv = NULL
356
    .argv = NULL
357
};
357
};
358
 
358
 
359
static int cmd_threads(cmd_arg_t *argv);
359
static int cmd_threads(cmd_arg_t *argv);
360
static cmd_info_t threads_info = {
360
static cmd_info_t threads_info = {
361
    .name = "threads",
361
    .name = "threads",
362
    .description = "List all threads.",
362
    .description = "List all threads.",
363
    .func = cmd_threads,
363
    .func = cmd_threads,
364
    .argc = 0
364
    .argc = 0
365
};
365
};
366
 
366
 
367
static int cmd_tasks(cmd_arg_t *argv);
367
static int cmd_tasks(cmd_arg_t *argv);
368
static cmd_info_t tasks_info = {
368
static cmd_info_t tasks_info = {
369
    .name = "tasks",
369
    .name = "tasks",
370
    .description = "List all tasks.",
370
    .description = "List all tasks.",
371
    .func = cmd_tasks,
371
    .func = cmd_tasks,
372
    .argc = 0
372
    .argc = 0
373
};
373
};
374
 
374
 
375
 
375
 
376
static int cmd_sched(cmd_arg_t *argv);
376
static int cmd_sched(cmd_arg_t *argv);
377
static cmd_info_t sched_info = {
377
static cmd_info_t sched_info = {
378
    .name = "scheduler",
378
    .name = "scheduler",
379
    .description = "List all scheduler information.",
379
    .description = "List all scheduler information.",
380
    .func = cmd_sched,
380
    .func = cmd_sched,
381
    .argc = 0
381
    .argc = 0
382
};
382
};
383
 
383
 
384
static int cmd_slabs(cmd_arg_t *argv);
384
static int cmd_slabs(cmd_arg_t *argv);
385
static cmd_info_t slabs_info = {
385
static cmd_info_t slabs_info = {
386
    .name = "slabs",
386
    .name = "slabs",
387
    .description = "List slab caches.",
387
    .description = "List slab caches.",
388
    .func = cmd_slabs,
388
    .func = cmd_slabs,
389
    .argc = 0
389
    .argc = 0
390
};
390
};
391
 
391
 
392
/* Data and methods for 'zones' command */
392
/* Data and methods for 'zones' command */
393
static int cmd_zones(cmd_arg_t *argv);
393
static int cmd_zones(cmd_arg_t *argv);
394
static cmd_info_t zones_info = {
394
static cmd_info_t zones_info = {
395
    .name = "zones",
395
    .name = "zones",
396
    .description = "List of memory zones.",
396
    .description = "List of memory zones.",
397
    .func = cmd_zones,
397
    .func = cmd_zones,
398
    .argc = 0
398
    .argc = 0
399
};
399
};
400
 
400
 
401
/* Data and methods for 'ipc' command */
401
/* Data and methods for 'ipc' command */
402
static int cmd_ipc(cmd_arg_t *argv);
402
static int cmd_ipc(cmd_arg_t *argv);
403
static cmd_arg_t ipc_argv = {
403
static cmd_arg_t ipc_argv = {
404
    .type = ARG_TYPE_INT,
404
    .type = ARG_TYPE_INT,
405
};
405
};
406
static cmd_info_t ipc_info = {
406
static cmd_info_t ipc_info = {
407
    .name = "ipc",
407
    .name = "ipc",
408
    .description = "ipc <taskid> Show IPC information of given task.",
408
    .description = "ipc <taskid> Show IPC information of given task.",
409
    .func = cmd_ipc,
409
    .func = cmd_ipc,
410
    .argc = 1,
410
    .argc = 1,
411
    .argv = &ipc_argv
411
    .argv = &ipc_argv
412
};
412
};
413
 
413
 
414
/* Data and methods for 'zone' command */
414
/* Data and methods for 'zone' command */
415
static int cmd_zone(cmd_arg_t *argv);
415
static int cmd_zone(cmd_arg_t *argv);
416
static cmd_arg_t zone_argv = {
416
static cmd_arg_t zone_argv = {
417
    .type = ARG_TYPE_INT,
417
    .type = ARG_TYPE_INT,
418
};
418
};
419
 
419
 
420
static cmd_info_t zone_info = {
420
static cmd_info_t zone_info = {
421
    .name = "zone",
421
    .name = "zone",
422
    .description = "Show memory zone structure.",
422
    .description = "Show memory zone structure.",
423
    .func = cmd_zone,
423
    .func = cmd_zone,
424
    .argc = 1,
424
    .argc = 1,
425
    .argv = &zone_argv
425
    .argv = &zone_argv
426
};
426
};
427
 
427
 
428
/* Data and methods for 'cpus' command. */
428
/* Data and methods for 'cpus' command. */
429
static int cmd_cpus(cmd_arg_t *argv);
429
static int cmd_cpus(cmd_arg_t *argv);
430
cmd_info_t cpus_info = {
430
cmd_info_t cpus_info = {
431
    .name = "cpus",
431
    .name = "cpus",
432
    .description = "List all processors.",
432
    .description = "List all processors.",
433
    .help = NULL,
433
    .help = NULL,
434
    .func = cmd_cpus,
434
    .func = cmd_cpus,
435
    .argc = 0,
435
    .argc = 0,
436
    .argv = NULL
436
    .argv = NULL
437
};
437
};
438
 
438
 
439
/* Data and methods for 'version' command. */
439
/* Data and methods for 'version' command. */
440
static int cmd_version(cmd_arg_t *argv);
440
static int cmd_version(cmd_arg_t *argv);
441
cmd_info_t version_info = {
441
cmd_info_t version_info = {
442
    .name = "version",
442
    .name = "version",
443
    .description = "Print version information.",
443
    .description = "Print version information.",
444
    .help = NULL,
444
    .help = NULL,
445
    .func = cmd_version,
445
    .func = cmd_version,
446
    .argc = 0,
446
    .argc = 0,
447
    .argv = NULL
447
    .argv = NULL
448
};
448
};
449
 
449
 
450
static cmd_info_t *basic_commands[] = {
450
static cmd_info_t *basic_commands[] = {
451
    &call0_info,
451
    &call0_info,
452
    &mcall0_info,
452
    &mcall0_info,
453
    &call1_info,
453
    &call1_info,
454
    &call2_info,
454
    &call2_info,
455
    &call3_info,
455
    &call3_info,
456
    &continue_info,
456
    &continue_info,
457
    &cpus_info,
457
    &cpus_info,
458
    &desc_info,
458
    &desc_info,
459
    &exit_info,
459
    &exit_info,
460
    &reboot_info,
460
    &reboot_info,
461
    &uptime_info,
461
    &uptime_info,
462
    &halt_info,
462
    &halt_info,
463
    &help_info,
463
    &help_info,
464
    &ipc_info,
464
    &ipc_info,
465
    &set4_info,
465
    &set4_info,
466
    &slabs_info,
466
    &slabs_info,
467
    &symaddr_info,
467
    &symaddr_info,
468
    &sched_info,
468
    &sched_info,
469
    &threads_info,
469
    &threads_info,
470
    &tasks_info,
470
    &tasks_info,
471
    &physmem_info,
471
    &physmem_info,
472
    &tlb_info,
472
    &tlb_info,
473
    &version_info,
473
    &version_info,
474
    &zones_info,
474
    &zones_info,
475
    &zone_info,
475
    &zone_info,
476
#ifdef CONFIG_TEST
476
#ifdef CONFIG_TEST
477
    &tests_info,
477
    &tests_info,
478
    &test_info,
478
    &test_info,
479
    &bench_info,
479
    &bench_info,
480
#endif
480
#endif
481
    NULL
481
    NULL
482
};
482
};
483
 
483
 
484
 
484
 
485
/** Initialize command info structure.
485
/** Initialize command info structure.
486
 *
486
 *
487
 * @param cmd Command info structure.
487
 * @param cmd Command info structure.
488
 *
488
 *
489
 */
489
 */
490
void cmd_initialize(cmd_info_t *cmd)
490
void cmd_initialize(cmd_info_t *cmd)
491
{
491
{
492
    spinlock_initialize(&cmd->lock, "cmd");
492
    spinlock_initialize(&cmd->lock, "cmd");
493
    link_initialize(&cmd->link);
493
    link_initialize(&cmd->link);
494
}
494
}
495
 
495
 
496
/** Initialize and register commands. */
496
/** Initialize and register commands. */
497
void cmd_init(void)
497
void cmd_init(void)
498
{
498
{
499
    unsigned int i;
499
    unsigned int i;
500
 
500
 
501
    for (i = 0; basic_commands[i]; i++) {
501
    for (i = 0; basic_commands[i]; i++) {
502
        cmd_initialize(basic_commands[i]);
502
        cmd_initialize(basic_commands[i]);
503
        if (!cmd_register(basic_commands[i]))
503
        if (!cmd_register(basic_commands[i]))
504
            printf("Cannot register command %s\n", basic_commands[i]->name);
504
            printf("Cannot register command %s\n", basic_commands[i]->name);
505
    }
505
    }
506
}
506
}
507
 
507
 
508
 
508
 
509
/** List supported commands.
509
/** List supported commands.
510
 *
510
 *
511
 * @param argv Argument vector.
511
 * @param argv Argument vector.
512
 *
512
 *
513
 * @return 0 on failure, 1 on success.
513
 * @return 0 on failure, 1 on success.
514
 */
514
 */
515
int cmd_help(cmd_arg_t *argv)
515
int cmd_help(cmd_arg_t *argv)
516
{
516
{
517
    link_t *cur;
-
 
518
 
-
 
519
    spinlock_lock(&cmd_lock);
517
    spinlock_lock(&cmd_lock);
520
   
518
   
-
 
519
    link_t *cur;
-
 
520
    size_t len = 0;
521
    for (cur = cmd_head.next; cur != &cmd_head; cur = cur->next) {
521
    for (cur = cmd_head.next; cur != &cmd_head; cur = cur->next) {
522
        cmd_info_t *hlp;
522
        cmd_info_t *hlp;
523
       
-
 
524
        hlp = list_get_instance(cur, cmd_info_t, link);
523
        hlp = list_get_instance(cur, cmd_info_t, link);
-
 
524
       
525
        spinlock_lock(&hlp->lock);
525
        spinlock_lock(&hlp->lock);
-
 
526
        if (strlen(hlp->name) > len)
-
 
527
            len = strlen(hlp->name);
-
 
528
        spinlock_unlock(&hlp->lock);
-
 
529
    }
-
 
530
   
-
 
531
    for (cur = cmd_head.next; cur != &cmd_head; cur = cur->next) {
-
 
532
        cmd_info_t *hlp;
-
 
533
        hlp = list_get_instance(cur, cmd_info_t, link);
526
       
534
       
-
 
535
        spinlock_lock(&hlp->lock);
527
        printf("%s - %s\n", hlp->name, hlp->description);
536
        printf("%-*s %s\n", len, hlp->name, hlp->description);
528
 
-
 
529
        spinlock_unlock(&hlp->lock);
537
        spinlock_unlock(&hlp->lock);
530
    }
538
    }
531
   
539
   
532
    spinlock_unlock(&cmd_lock);
540
    spinlock_unlock(&cmd_lock);
533
 
541
   
534
    return 1;
542
    return 1;
535
}
543
}
536
 
544
 
537
 
545
 
538
/** Reboot the system.
546
/** Reboot the system.
539
 *
547
 *
540
 * @param argv Argument vector.
548
 * @param argv Argument vector.
541
 *
549
 *
542
 * @return 0 on failure, 1 on success.
550
 * @return 0 on failure, 1 on success.
543
 */
551
 */
544
int cmd_reboot(cmd_arg_t *argv)
552
int cmd_reboot(cmd_arg_t *argv)
545
{
553
{
546
    reboot();
554
    reboot();
547
   
555
   
548
    /* Not reached */
556
    /* Not reached */
549
    return 1;
557
    return 1;
550
}
558
}
551
 
559
 
552
 
560
 
553
/** Print system uptime information.
561
/** Print system uptime information.
554
 *
562
 *
555
 * @param argv Argument vector.
563
 * @param argv Argument vector.
556
 *
564
 *
557
 * @return 0 on failure, 1 on success.
565
 * @return 0 on failure, 1 on success.
558
 */
566
 */
559
int cmd_uptime(cmd_arg_t *argv)
567
int cmd_uptime(cmd_arg_t *argv)
560
{
568
{
561
    ASSERT(uptime);
569
    ASSERT(uptime);
562
   
570
   
563
    /* This doesn't have to be very accurate */
571
    /* This doesn't have to be very accurate */
564
    unative_t sec = uptime->seconds1;
572
    unative_t sec = uptime->seconds1;
565
   
573
   
566
    printf("Up %" PRIun " days, %" PRIun " hours, %" PRIun " minutes, %" PRIun " seconds\n",
574
    printf("Up %" PRIun " days, %" PRIun " hours, %" PRIun " minutes, %" PRIun " seconds\n",
567
        sec / 86400, (sec % 86400) / 3600, (sec % 3600) / 60, sec % 60);
575
        sec / 86400, (sec % 86400) / 3600, (sec % 3600) / 60, sec % 60);
568
   
576
   
569
    return 1;
577
    return 1;
570
}
578
}
571
 
579
 
572
/** Describe specified command.
580
/** Describe specified command.
573
 *
581
 *
574
 * @param argv Argument vector.
582
 * @param argv Argument vector.
575
 *
583
 *
576
 * @return 0 on failure, 1 on success.
584
 * @return 0 on failure, 1 on success.
577
 */
585
 */
578
int cmd_desc(cmd_arg_t *argv)
586
int cmd_desc(cmd_arg_t *argv)
579
{
587
{
580
    link_t *cur;
588
    link_t *cur;
581
 
589
 
582
    spinlock_lock(&cmd_lock);
590
    spinlock_lock(&cmd_lock);
583
   
591
   
584
    for (cur = cmd_head.next; cur != &cmd_head; cur = cur->next) {
592
    for (cur = cmd_head.next; cur != &cmd_head; cur = cur->next) {
585
        cmd_info_t *hlp;
593
        cmd_info_t *hlp;
586
       
594
       
587
        hlp = list_get_instance(cur, cmd_info_t, link);
595
        hlp = list_get_instance(cur, cmd_info_t, link);
588
        spinlock_lock(&hlp->lock);
596
        spinlock_lock(&hlp->lock);
589
 
597
 
590
        if (strncmp(hlp->name, (const char *) argv->buffer, strlen(hlp->name)) == 0) {
598
        if (strncmp(hlp->name, (const char *) argv->buffer, strlen(hlp->name)) == 0) {
591
            printf("%s - %s\n", hlp->name, hlp->description);
599
            printf("%s - %s\n", hlp->name, hlp->description);
592
            if (hlp->help)
600
            if (hlp->help)
593
                hlp->help();
601
                hlp->help();
594
            spinlock_unlock(&hlp->lock);
602
            spinlock_unlock(&hlp->lock);
595
            break;
603
            break;
596
        }
604
        }
597
 
605
 
598
        spinlock_unlock(&hlp->lock);
606
        spinlock_unlock(&hlp->lock);
599
    }
607
    }
600
   
608
   
601
    spinlock_unlock(&cmd_lock);
609
    spinlock_unlock(&cmd_lock);
602
 
610
 
603
    return 1;
611
    return 1;
604
}
612
}
605
 
613
 
606
/** Search symbol table */
614
/** Search symbol table */
607
int cmd_symaddr(cmd_arg_t *argv)
615
int cmd_symaddr(cmd_arg_t *argv)
608
{
616
{
609
    symtab_print_search((char *) argv->buffer);
617
    symtab_print_search((char *) argv->buffer);
610
   
618
   
611
    return 1;
619
    return 1;
612
}
620
}
613
 
621
 
614
/** Call function with zero parameters */
622
/** Call function with zero parameters */
615
int cmd_call0(cmd_arg_t *argv)
623
int cmd_call0(cmd_arg_t *argv)
616
{
624
{
617
    uintptr_t symaddr;
625
    uintptr_t symaddr;
618
    char *symbol;
626
    char *symbol;
619
    unative_t (*fnc)(void);
627
    unative_t (*fnc)(void);
620
    fncptr_t fptr;
628
    fncptr_t fptr;
621
   
629
   
622
    symaddr = get_symbol_addr((char *) argv->buffer);
630
    symaddr = get_symbol_addr((char *) argv->buffer);
623
    if (!symaddr)
631
    if (!symaddr)
624
        printf("Symbol %s not found.\n", argv->buffer);
632
        printf("Symbol %s not found.\n", argv->buffer);
625
    else if (symaddr == (uintptr_t) -1) {
633
    else if (symaddr == (uintptr_t) -1) {
626
        symtab_print_search((char *) argv->buffer);
634
        symtab_print_search((char *) argv->buffer);
627
        printf("Duplicate symbol, be more specific.\n");
635
        printf("Duplicate symbol, be more specific.\n");
628
    } else {
636
    } else {
629
        symbol = get_symtab_entry(symaddr);
637
        symbol = get_symtab_entry(symaddr);
630
        fnc = (unative_t (*)(void)) arch_construct_function(&fptr, (void *) symaddr, (void *) cmd_call0);
638
        fnc = (unative_t (*)(void)) arch_construct_function(&fptr, (void *) symaddr, (void *) cmd_call0);
631
        printf("Calling %s() (%p)\n", symbol, symaddr);
639
        printf("Calling %s() (%p)\n", symbol, symaddr);
632
        printf("Result: %#" PRIxn "\n", fnc());
640
        printf("Result: %#" PRIxn "\n", fnc());
633
    }
641
    }
634
   
642
   
635
    return 1;
643
    return 1;
636
}
644
}
637
 
645
 
638
/** Call function with zero parameters on each CPU */
646
/** Call function with zero parameters on each CPU */
639
int cmd_mcall0(cmd_arg_t *argv)
647
int cmd_mcall0(cmd_arg_t *argv)
640
{
648
{
641
    /*
649
    /*
642
     * For each CPU, create a thread which will
650
     * For each CPU, create a thread which will
643
     * call the function.
651
     * call the function.
644
     */
652
     */
645
   
653
   
646
    count_t i;
654
    count_t i;
647
    for (i = 0; i < config.cpu_count; i++) {
655
    for (i = 0; i < config.cpu_count; i++) {
648
        if (!cpus[i].active)
656
        if (!cpus[i].active)
649
            continue;
657
            continue;
650
       
658
       
651
        thread_t *t;
659
        thread_t *t;
652
        if ((t = thread_create((void (*)(void *)) cmd_call0, (void *) argv, TASK, THREAD_FLAG_WIRED, "call0", false))) {
660
        if ((t = thread_create((void (*)(void *)) cmd_call0, (void *) argv, TASK, THREAD_FLAG_WIRED, "call0", false))) {
653
            spinlock_lock(&t->lock);
661
            spinlock_lock(&t->lock);
654
            t->cpu = &cpus[i];
662
            t->cpu = &cpus[i];
655
            spinlock_unlock(&t->lock);
663
            spinlock_unlock(&t->lock);
656
            printf("cpu%u: ", i);
664
            printf("cpu%u: ", i);
657
            thread_ready(t);
665
            thread_ready(t);
658
            thread_join(t);
666
            thread_join(t);
659
            thread_detach(t);
667
            thread_detach(t);
660
        } else
668
        } else
661
            printf("Unable to create thread for cpu%u\n", i);
669
            printf("Unable to create thread for cpu%u\n", i);
662
    }
670
    }
663
   
671
   
664
    return 1;
672
    return 1;
665
}
673
}
666
 
674
 
667
/** Call function with one parameter */
675
/** Call function with one parameter */
668
int cmd_call1(cmd_arg_t *argv)
676
int cmd_call1(cmd_arg_t *argv)
669
{
677
{
670
    uintptr_t symaddr;
678
    uintptr_t symaddr;
671
    char *symbol;
679
    char *symbol;
672
    unative_t (*fnc)(unative_t, ...);
680
    unative_t (*fnc)(unative_t, ...);
673
    unative_t arg1 = argv[1].intval;
681
    unative_t arg1 = argv[1].intval;
674
    fncptr_t fptr;
682
    fncptr_t fptr;
675
   
683
   
676
    symaddr = get_symbol_addr((char *) argv->buffer);
684
    symaddr = get_symbol_addr((char *) argv->buffer);
677
    if (!symaddr)
685
    if (!symaddr)
678
        printf("Symbol %s not found.\n", argv->buffer);
686
        printf("Symbol %s not found.\n", argv->buffer);
679
    else if (symaddr == (uintptr_t) -1) {
687
    else if (symaddr == (uintptr_t) -1) {
680
        symtab_print_search((char *) argv->buffer);
688
        symtab_print_search((char *) argv->buffer);
681
        printf("Duplicate symbol, be more specific.\n");
689
        printf("Duplicate symbol, be more specific.\n");
682
    } else {
690
    } else {
683
        symbol = get_symtab_entry(symaddr);
691
        symbol = get_symtab_entry(symaddr);
684
        fnc = (unative_t (*)(unative_t, ...)) arch_construct_function(&fptr, (void *) symaddr, (void *) cmd_call1);
692
        fnc = (unative_t (*)(unative_t, ...)) arch_construct_function(&fptr, (void *) symaddr, (void *) cmd_call1);
685
        printf("Calling f(%#" PRIxn "): %p: %s\n", arg1, symaddr, symbol);
693
        printf("Calling f(%#" PRIxn "): %p: %s\n", arg1, symaddr, symbol);
686
        printf("Result: %#" PRIxn "\n", fnc(arg1));
694
        printf("Result: %#" PRIxn "\n", fnc(arg1));
687
    }
695
    }
688
   
696
   
689
    return 1;
697
    return 1;
690
}
698
}
691
 
699
 
692
/** Call function with two parameters */
700
/** Call function with two parameters */
693
int cmd_call2(cmd_arg_t *argv)
701
int cmd_call2(cmd_arg_t *argv)
694
{
702
{
695
    uintptr_t symaddr;
703
    uintptr_t symaddr;
696
    char *symbol;
704
    char *symbol;
697
    unative_t (*fnc)(unative_t, unative_t, ...);
705
    unative_t (*fnc)(unative_t, unative_t, ...);
698
    unative_t arg1 = argv[1].intval;
706
    unative_t arg1 = argv[1].intval;
699
    unative_t arg2 = argv[2].intval;
707
    unative_t arg2 = argv[2].intval;
700
    fncptr_t fptr;
708
    fncptr_t fptr;
701
   
709
   
702
    symaddr = get_symbol_addr((char *) argv->buffer);
710
    symaddr = get_symbol_addr((char *) argv->buffer);
703
    if (!symaddr)
711
    if (!symaddr)
704
        printf("Symbol %s not found.\n", argv->buffer);
712
        printf("Symbol %s not found.\n", argv->buffer);
705
    else if (symaddr == (uintptr_t) -1) {
713
    else if (symaddr == (uintptr_t) -1) {
706
        symtab_print_search((char *) argv->buffer);
714
        symtab_print_search((char *) argv->buffer);
707
        printf("Duplicate symbol, be more specific.\n");
715
        printf("Duplicate symbol, be more specific.\n");
708
    } else {
716
    } else {
709
        symbol = get_symtab_entry(symaddr);
717
        symbol = get_symtab_entry(symaddr);
710
        fnc = (unative_t (*)(unative_t, unative_t, ...)) arch_construct_function(&fptr, (void *) symaddr, (void *) cmd_call2);
718
        fnc = (unative_t (*)(unative_t, unative_t, ...)) arch_construct_function(&fptr, (void *) symaddr, (void *) cmd_call2);
711
        printf("Calling f(%#" PRIxn ", %#" PRIxn "): %p: %s\n",
719
        printf("Calling f(%#" PRIxn ", %#" PRIxn "): %p: %s\n",
712
               arg1, arg2, symaddr, symbol);
720
               arg1, arg2, symaddr, symbol);
713
        printf("Result: %#" PRIxn "\n", fnc(arg1, arg2));
721
        printf("Result: %#" PRIxn "\n", fnc(arg1, arg2));
714
    }
722
    }
715
   
723
   
716
    return 1;
724
    return 1;
717
}
725
}
718
 
726
 
719
/** Call function with three parameters */
727
/** Call function with three parameters */
720
int cmd_call3(cmd_arg_t *argv)
728
int cmd_call3(cmd_arg_t *argv)
721
{
729
{
722
    uintptr_t symaddr;
730
    uintptr_t symaddr;
723
    char *symbol;
731
    char *symbol;
724
    unative_t (*fnc)(unative_t, unative_t, unative_t, ...);
732
    unative_t (*fnc)(unative_t, unative_t, unative_t, ...);
725
    unative_t arg1 = argv[1].intval;
733
    unative_t arg1 = argv[1].intval;
726
    unative_t arg2 = argv[2].intval;
734
    unative_t arg2 = argv[2].intval;
727
    unative_t arg3 = argv[3].intval;
735
    unative_t arg3 = argv[3].intval;
728
    fncptr_t fptr;
736
    fncptr_t fptr;
729
   
737
   
730
    symaddr = get_symbol_addr((char *) argv->buffer);
738
    symaddr = get_symbol_addr((char *) argv->buffer);
731
    if (!symaddr)
739
    if (!symaddr)
732
        printf("Symbol %s not found.\n", argv->buffer);
740
        printf("Symbol %s not found.\n", argv->buffer);
733
    else if (symaddr == (uintptr_t) -1) {
741
    else if (symaddr == (uintptr_t) -1) {
734
        symtab_print_search((char *) argv->buffer);
742
        symtab_print_search((char *) argv->buffer);
735
        printf("Duplicate symbol, be more specific.\n");
743
        printf("Duplicate symbol, be more specific.\n");
736
    } else {
744
    } else {
737
        symbol = get_symtab_entry(symaddr);
745
        symbol = get_symtab_entry(symaddr);
738
        fnc = (unative_t (*)(unative_t, unative_t, unative_t, ...)) arch_construct_function(&fptr, (void *) symaddr, (void *) cmd_call3);
746
        fnc = (unative_t (*)(unative_t, unative_t, unative_t, ...)) arch_construct_function(&fptr, (void *) symaddr, (void *) cmd_call3);
739
        printf("Calling f(%#" PRIxn ",%#" PRIxn ", %#" PRIxn "): %p: %s\n",
747
        printf("Calling f(%#" PRIxn ",%#" PRIxn ", %#" PRIxn "): %p: %s\n",
740
               arg1, arg2, arg3, symaddr, symbol);
748
               arg1, arg2, arg3, symaddr, symbol);
741
        printf("Result: %#" PRIxn "\n", fnc(arg1, arg2, arg3));
749
        printf("Result: %#" PRIxn "\n", fnc(arg1, arg2, arg3));
742
    }
750
    }
743
   
751
   
744
    return 1;
752
    return 1;
745
}
753
}
746
 
754
 
747
 
755
 
748
/** Print detailed description of 'describe' command. */
756
/** Print detailed description of 'describe' command. */
749
void desc_help(void)
757
void desc_help(void)
750
{
758
{
751
    printf("Syntax: describe command_name\n");
759
    printf("Syntax: describe command_name\n");
752
}
760
}
753
 
761
 
754
/** Halt the kernel.
762
/** Halt the kernel.
755
 *
763
 *
756
 * @param argv Argument vector (ignored).
764
 * @param argv Argument vector (ignored).
757
 *
765
 *
758
 * @return 0 on failure, 1 on success (never returns).
766
 * @return 0 on failure, 1 on success (never returns).
759
 */
767
 */
760
int cmd_halt(cmd_arg_t *argv)
768
int cmd_halt(cmd_arg_t *argv)
761
{
769
{
762
    halt();
770
    halt();
763
    return 1;
771
    return 1;
764
}
772
}
765
 
773
 
766
/** Command for printing TLB contents.
774
/** Command for printing TLB contents.
767
 *
775
 *
768
 * @param argv Not used.
776
 * @param argv Not used.
769
 *
777
 *
770
 * @return Always returns 1.
778
 * @return Always returns 1.
771
 */
779
 */
772
int cmd_tlb(cmd_arg_t *argv)
780
int cmd_tlb(cmd_arg_t *argv)
773
{
781
{
774
    tlb_print();
782
    tlb_print();
775
    return 1;
783
    return 1;
776
}
784
}
777
 
785
 
778
/** Command for printing physical memory configuration.
786
/** Command for printing physical memory configuration.
779
 *
787
 *
780
 * @param argv Not used.
788
 * @param argv Not used.
781
 *
789
 *
782
 * @return Always returns 1.
790
 * @return Always returns 1.
783
 */
791
 */
784
int cmd_physmem(cmd_arg_t *argv)
792
int cmd_physmem(cmd_arg_t *argv)
785
{
793
{
786
    physmem_print();
794
    physmem_print();
787
    return 1;
795
    return 1;
788
}
796
}
789
 
797
 
790
/** Write 4 byte value to address */
798
/** Write 4 byte value to address */
791
int cmd_set4(cmd_arg_t *argv)
799
int cmd_set4(cmd_arg_t *argv)
792
{
800
{
793
    uint32_t *addr;
801
    uint32_t *addr;
794
    uint32_t arg1 = argv[1].intval;
802
    uint32_t arg1 = argv[1].intval;
795
    bool pointer = false;
803
    bool pointer = false;
796
 
804
 
797
    if (((char *)argv->buffer)[0] == '*') {
805
    if (((char *)argv->buffer)[0] == '*') {
798
        addr = (uint32_t *) get_symbol_addr((char *) argv->buffer + 1);
806
        addr = (uint32_t *) get_symbol_addr((char *) argv->buffer + 1);
799
        pointer = true;
807
        pointer = true;
800
    } else if (((char *) argv->buffer)[0] >= '0' &&
808
    } else if (((char *) argv->buffer)[0] >= '0' &&
801
           ((char *)argv->buffer)[0] <= '9')
809
           ((char *)argv->buffer)[0] <= '9')
802
        addr = (uint32_t *)atoi((char *)argv->buffer);
810
        addr = (uint32_t *)atoi((char *)argv->buffer);
803
    else
811
    else
804
        addr = (uint32_t *)get_symbol_addr((char *) argv->buffer);
812
        addr = (uint32_t *)get_symbol_addr((char *) argv->buffer);
805
 
813
 
806
    if (!addr)
814
    if (!addr)
807
        printf("Symbol %s not found.\n", argv->buffer);
815
        printf("Symbol %s not found.\n", argv->buffer);
808
    else if (addr == (uint32_t *) -1) {
816
    else if (addr == (uint32_t *) -1) {
809
        symtab_print_search((char *) argv->buffer);
817
        symtab_print_search((char *) argv->buffer);
810
        printf("Duplicate symbol, be more specific.\n");
818
        printf("Duplicate symbol, be more specific.\n");
811
    } else {
819
    } else {
812
        if (pointer)
820
        if (pointer)
813
            addr = (uint32_t *)(*(unative_t *)addr);
821
            addr = (uint32_t *)(*(unative_t *)addr);
814
        printf("Writing %#" PRIx64 " -> %p\n", arg1, addr);
822
        printf("Writing %#" PRIx64 " -> %p\n", arg1, addr);
815
        *addr = arg1;
823
        *addr = arg1;
816
       
824
       
817
    }
825
    }
818
   
826
   
819
    return 1;
827
    return 1;
820
}
828
}
821
 
829
 
822
/** Command for listings SLAB caches
830
/** Command for listings SLAB caches
823
 *
831
 *
824
 * @param argv Ignores
832
 * @param argv Ignores
825
 *
833
 *
826
 * @return Always 1
834
 * @return Always 1
827
 */
835
 */
828
int cmd_slabs(cmd_arg_t * argv) {
836
int cmd_slabs(cmd_arg_t * argv) {
829
    slab_print_list();
837
    slab_print_list();
830
    return 1;
838
    return 1;
831
}
839
}
832
 
840
 
833
 
841
 
834
/** Command for listings Thread information
842
/** Command for listings Thread information
835
 *
843
 *
836
 * @param argv Ignores
844
 * @param argv Ignores
837
 *
845
 *
838
 * @return Always 1
846
 * @return Always 1
839
 */
847
 */
840
int cmd_threads(cmd_arg_t * argv) {
848
int cmd_threads(cmd_arg_t * argv) {
841
    thread_print_list();
849
    thread_print_list();
842
    return 1;
850
    return 1;
843
}
851
}
844
 
852
 
845
/** Command for listings Task information
853
/** Command for listings Task information
846
 *
854
 *
847
 * @param argv Ignores
855
 * @param argv Ignores
848
 *
856
 *
849
 * @return Always 1
857
 * @return Always 1
850
 */
858
 */
851
int cmd_tasks(cmd_arg_t * argv) {
859
int cmd_tasks(cmd_arg_t * argv) {
852
    task_print_list();
860
    task_print_list();
853
    return 1;
861
    return 1;
854
}
862
}
855
 
863
 
856
/** Command for listings Thread information
864
/** Command for listings Thread information
857
 *
865
 *
858
 * @param argv Ignores
866
 * @param argv Ignores
859
 *
867
 *
860
 * @return Always 1
868
 * @return Always 1
861
 */
869
 */
862
int cmd_sched(cmd_arg_t * argv) {
870
int cmd_sched(cmd_arg_t * argv) {
863
    sched_print_list();
871
    sched_print_list();
864
    return 1;
872
    return 1;
865
}
873
}
866
 
874
 
867
/** Command for listing memory zones
875
/** Command for listing memory zones
868
 *
876
 *
869
 * @param argv Ignored
877
 * @param argv Ignored
870
 *
878
 *
871
 * return Always 1
879
 * return Always 1
872
 */
880
 */
873
int cmd_zones(cmd_arg_t * argv) {
881
int cmd_zones(cmd_arg_t * argv) {
874
    zone_print_list();
882
    zone_print_list();
875
    return 1;
883
    return 1;
876
}
884
}
877
 
885
 
878
/** Command for memory zone details
886
/** Command for memory zone details
879
 *
887
 *
880
 * @param argv Integer argument from cmdline expected
888
 * @param argv Integer argument from cmdline expected
881
 *
889
 *
882
 * return Always 1
890
 * return Always 1
883
 */
891
 */
884
int cmd_zone(cmd_arg_t * argv) {
892
int cmd_zone(cmd_arg_t * argv) {
885
    zone_print_one(argv[0].intval);
893
    zone_print_one(argv[0].intval);
886
    return 1;
894
    return 1;
887
}
895
}
888
 
896
 
889
/** Command for printing task ipc details
897
/** Command for printing task ipc details
890
 *
898
 *
891
 * @param argv Integer argument from cmdline expected
899
 * @param argv Integer argument from cmdline expected
892
 *
900
 *
893
 * return Always 1
901
 * return Always 1
894
 */
902
 */
895
int cmd_ipc(cmd_arg_t * argv) {
903
int cmd_ipc(cmd_arg_t * argv) {
896
    ipc_print_task(argv[0].intval);
904
    ipc_print_task(argv[0].intval);
897
    return 1;
905
    return 1;
898
}
906
}
899
 
907
 
900
 
908
 
901
/** Command for listing processors.
909
/** Command for listing processors.
902
 *
910
 *
903
 * @param argv Ignored.
911
 * @param argv Ignored.
904
 *
912
 *
905
 * return Always 1.
913
 * return Always 1.
906
 */
914
 */
907
int cmd_cpus(cmd_arg_t *argv)
915
int cmd_cpus(cmd_arg_t *argv)
908
{
916
{
909
    cpu_list();
917
    cpu_list();
910
    return 1;
918
    return 1;
911
}
919
}
912
 
920
 
913
/** Command for printing kernel version.
921
/** Command for printing kernel version.
914
 *
922
 *
915
 * @param argv Ignored.
923
 * @param argv Ignored.
916
 *
924
 *
917
 * return Always 1.
925
 * return Always 1.
918
 */
926
 */
919
int cmd_version(cmd_arg_t *argv)
927
int cmd_version(cmd_arg_t *argv)
920
{
928
{
921
    version_print();
929
    version_print();
922
    return 1;
930
    return 1;
923
}
931
}
924
 
932
 
925
/** Command for returning console back to userspace.
933
/** Command for returning console back to userspace.
926
 *
934
 *
927
 * @param argv Ignored.
935
 * @param argv Ignored.
928
 *
936
 *
929
 * return Always 1.
937
 * return Always 1.
930
 */
938
 */
931
int cmd_continue(cmd_arg_t *argv)
939
int cmd_continue(cmd_arg_t *argv)
932
{
940
{
933
    printf("The kernel will now relinquish the console.\n");
941
    printf("The kernel will now relinquish the console.\n");
934
    release_console();
942
    release_console();
935
   
943
   
936
    if ((kconsole_notify) && (kconsole_irq.notif_cfg.notify))
944
    if ((kconsole_notify) && (kconsole_irq.notif_cfg.notify))
937
        ipc_irq_send_msg_0(&kconsole_irq);
945
        ipc_irq_send_msg_0(&kconsole_irq);
938
   
946
   
939
    return 1;
947
    return 1;
940
}
948
}
941
 
949
 
942
#ifdef CONFIG_TEST
950
#ifdef CONFIG_TEST
943
/** Command for printing kernel tests list.
951
/** Command for printing kernel tests list.
944
 *
952
 *
945
 * @param argv Ignored.
953
 * @param argv Ignored.
946
 *
954
 *
947
 * return Always 1.
955
 * return Always 1.
948
 */
956
 */
949
int cmd_tests(cmd_arg_t *argv)
957
int cmd_tests(cmd_arg_t *argv)
950
{
958
{
-
 
959
    size_t len = 0;
951
    test_t *test;
960
    test_t *test;
-
 
961
    for (test = tests; test->name != NULL; test++) {
-
 
962
        if (strlen(test->name) > len)
-
 
963
            len = strlen(test->name);
-
 
964
    }
952
   
965
   
953
    for (test = tests; test->name != NULL; test++)
966
    for (test = tests; test->name != NULL; test++)
954
        printf("%-10s %s%s\n", test->name, test->desc, (test->safe ? "" : " (unsafe)"));
967
        printf("%-*s %s%s\n", len, test->name, test->desc, (test->safe ? "" : " (unsafe)"));
955
   
968
   
956
    printf("%-10s Run all safe tests\n", "*");
969
    printf("%-*s Run all safe tests\n", len, "*");
957
    return 1;
970
    return 1;
958
}
971
}
959
 
972
 
960
static bool run_test(const test_t *test)
973
static bool run_test(const test_t *test)
961
{
974
{
962
    printf("%s\t\t%s\n", test->name, test->desc);
975
    printf("%s (%s)\n", test->name, test->desc);
963
   
976
   
964
    /* Update and read thread accounting
977
    /* Update and read thread accounting
965
       for benchmarking */
978
       for benchmarking */
966
    ipl_t ipl = interrupts_disable();
979
    ipl_t ipl = interrupts_disable();
967
    spinlock_lock(&TASK->lock);
980
    spinlock_lock(&TASK->lock);
968
    uint64_t t0 = task_get_accounting(TASK);
981
    uint64_t t0 = task_get_accounting(TASK);
969
    spinlock_unlock(&TASK->lock);
982
    spinlock_unlock(&TASK->lock);
970
    interrupts_restore(ipl);
983
    interrupts_restore(ipl);
971
   
984
   
972
    /* Execute the test */
985
    /* Execute the test */
973
    char * ret = test->entry(false);
986
    char * ret = test->entry(false);
974
   
987
   
975
    /* Update and read thread accounting */
988
    /* Update and read thread accounting */
976
    ipl = interrupts_disable();
989
    ipl = interrupts_disable();
977
    spinlock_lock(&TASK->lock);
990
    spinlock_lock(&TASK->lock);
978
    uint64_t dt = task_get_accounting(TASK) - t0;
991
    uint64_t dt = task_get_accounting(TASK) - t0;
979
    spinlock_unlock(&TASK->lock);
992
    spinlock_unlock(&TASK->lock);
980
    interrupts_restore(ipl);
993
    interrupts_restore(ipl);
981
   
994
   
982
    uint64_t cycles;
995
    uint64_t cycles;
983
    char suffix;
996
    char suffix;
984
    order(dt, &cycles, &suffix);
997
    order(dt, &cycles, &suffix);
985
       
998
       
986
    printf("Time: %" PRIu64 "%c cycles\n", cycles, suffix);
999
    printf("Time: %" PRIu64 "%c cycles\n", cycles, suffix);
987
   
1000
   
988
    if (ret == NULL) {
1001
    if (ret == NULL) {
989
        printf("Test passed\n");
1002
        printf("Test passed\n");
990
        return true;
1003
        return true;
991
    }
1004
    }
992
 
1005
 
993
    printf("%s\n", ret);
1006
    printf("%s\n", ret);
994
    return false;
1007
    return false;
995
}
1008
}
996
 
1009
 
997
static bool run_bench(const test_t *test, const uint32_t cnt)
1010
static bool run_bench(const test_t *test, const uint32_t cnt)
998
{
1011
{
999
    uint32_t i;
1012
    uint32_t i;
1000
    bool ret = true;
1013
    bool ret = true;
1001
    uint64_t cycles;
1014
    uint64_t cycles;
1002
    char suffix;
1015
    char suffix;
1003
   
1016
   
1004
    if (cnt < 1)
1017
    if (cnt < 1)
1005
        return true;
1018
        return true;
1006
   
1019
   
1007
    uint64_t *data = (uint64_t *) malloc(sizeof(uint64_t) * cnt, 0);
1020
    uint64_t *data = (uint64_t *) malloc(sizeof(uint64_t) * cnt, 0);
1008
    if (data == NULL) {
1021
    if (data == NULL) {
1009
        printf("Error allocating memory for statistics\n");
1022
        printf("Error allocating memory for statistics\n");
1010
        return false;
1023
        return false;
1011
    }
1024
    }
1012
   
1025
   
1013
    for (i = 0; i < cnt; i++) {
1026
    for (i = 0; i < cnt; i++) {
1014
        printf("%s (%u/%u) ... ", test->name, i + 1, cnt);
1027
        printf("%s (%u/%u) ... ", test->name, i + 1, cnt);
1015
       
1028
       
1016
        /* Update and read thread accounting
1029
        /* Update and read thread accounting
1017
           for benchmarking */
1030
           for benchmarking */
1018
        ipl_t ipl = interrupts_disable();
1031
        ipl_t ipl = interrupts_disable();
1019
        spinlock_lock(&TASK->lock);
1032
        spinlock_lock(&TASK->lock);
1020
        uint64_t t0 = task_get_accounting(TASK);
1033
        uint64_t t0 = task_get_accounting(TASK);
1021
        spinlock_unlock(&TASK->lock);
1034
        spinlock_unlock(&TASK->lock);
1022
        interrupts_restore(ipl);
1035
        interrupts_restore(ipl);
1023
       
1036
       
1024
        /* Execute the test */
1037
        /* Execute the test */
1025
        char * ret = test->entry(true);
1038
        char * ret = test->entry(true);
1026
       
1039
       
1027
        /* Update and read thread accounting */
1040
        /* Update and read thread accounting */
1028
        ipl = interrupts_disable();
1041
        ipl = interrupts_disable();
1029
        spinlock_lock(&TASK->lock);
1042
        spinlock_lock(&TASK->lock);
1030
        uint64_t dt = task_get_accounting(TASK) - t0;
1043
        uint64_t dt = task_get_accounting(TASK) - t0;
1031
        spinlock_unlock(&TASK->lock);
1044
        spinlock_unlock(&TASK->lock);
1032
        interrupts_restore(ipl);
1045
        interrupts_restore(ipl);
1033
       
1046
       
1034
        if (ret != NULL) {
1047
        if (ret != NULL) {
1035
            printf("%s\n", ret);
1048
            printf("%s\n", ret);
1036
            ret = false;
1049
            ret = false;
1037
            break;
1050
            break;
1038
        }
1051
        }
1039
       
1052
       
1040
        data[i] = dt;
1053
        data[i] = dt;
1041
        order(dt, &cycles, &suffix);
1054
        order(dt, &cycles, &suffix);
1042
        printf("OK (%" PRIu64 "%c cycles)\n", cycles, suffix);
1055
        printf("OK (%" PRIu64 "%c cycles)\n", cycles, suffix);
1043
    }
1056
    }
1044
   
1057
   
1045
    if (ret) {
1058
    if (ret) {
1046
        printf("\n");
1059
        printf("\n");
1047
       
1060
       
1048
        uint64_t sum = 0;
1061
        uint64_t sum = 0;
1049
       
1062
       
1050
        for (i = 0; i < cnt; i++) {
1063
        for (i = 0; i < cnt; i++) {
1051
            sum += data[i];
1064
            sum += data[i];
1052
        }
1065
        }
1053
       
1066
       
1054
        order(sum / (uint64_t) cnt, &cycles, &suffix);
1067
        order(sum / (uint64_t) cnt, &cycles, &suffix);
1055
        printf("Average\t\t%" PRIu64 "%c\n", cycles, suffix);
1068
        printf("Average\t\t%" PRIu64 "%c\n", cycles, suffix);
1056
    }
1069
    }
1057
   
1070
   
1058
    free(data);
1071
    free(data);
1059
   
1072
   
1060
    return ret;
1073
    return ret;
1061
}
1074
}
1062
 
1075
 
1063
/** Command for returning kernel tests
1076
/** Command for returning kernel tests
1064
 *
1077
 *
1065
 * @param argv Argument vector.
1078
 * @param argv Argument vector.
1066
 *
1079
 *
1067
 * return Always 1.
1080
 * return Always 1.
1068
 */
1081
 */
1069
int cmd_test(cmd_arg_t *argv)
1082
int cmd_test(cmd_arg_t *argv)
1070
{
1083
{
1071
    test_t *test;
1084
    test_t *test;
1072
   
1085
   
1073
    if (strcmp((char *) argv->buffer, "*") == 0) {
1086
    if (strcmp((char *) argv->buffer, "*") == 0) {
1074
        for (test = tests; test->name != NULL; test++) {
1087
        for (test = tests; test->name != NULL; test++) {
1075
            if (test->safe) {
1088
            if (test->safe) {
1076
                printf("\n");
1089
                printf("\n");
1077
                if (!run_test(test))
1090
                if (!run_test(test))
1078
                    break;
1091
                    break;
1079
            }
1092
            }
1080
        }
1093
        }
1081
    } else {
1094
    } else {
1082
        bool fnd = false;
1095
        bool fnd = false;
1083
       
1096
       
1084
        for (test = tests; test->name != NULL; test++) {
1097
        for (test = tests; test->name != NULL; test++) {
1085
            if (strcmp(test->name, (char *) argv->buffer) == 0) {
1098
            if (strcmp(test->name, (char *) argv->buffer) == 0) {
1086
                fnd = true;
1099
                fnd = true;
1087
                run_test(test);
1100
                run_test(test);
1088
                break;
1101
                break;
1089
            }
1102
            }
1090
        }
1103
        }
1091
       
1104
       
1092
        if (!fnd)
1105
        if (!fnd)
1093
            printf("Unknown test\n");
1106
            printf("Unknown test\n");
1094
    }
1107
    }
1095
   
1108
   
1096
    return 1;
1109
    return 1;
1097
}
1110
}
1098
 
1111
 
1099
/** Command for returning kernel tests as benchmarks
1112
/** Command for returning kernel tests as benchmarks
1100
 *
1113
 *
1101
 * @param argv Argument vector.
1114
 * @param argv Argument vector.
1102
 *
1115
 *
1103
 * return Always 1.
1116
 * return Always 1.
1104
 */
1117
 */
1105
int cmd_bench(cmd_arg_t *argv)
1118
int cmd_bench(cmd_arg_t *argv)
1106
{
1119
{
1107
    test_t *test;
1120
    test_t *test;
1108
    uint32_t cnt = argv[1].intval;
1121
    uint32_t cnt = argv[1].intval;
1109
   
1122
   
1110
    bool fnd = false;
1123
    bool fnd = false;
1111
   
1124
   
1112
    for (test = tests; test->name != NULL; test++) {
1125
    for (test = tests; test->name != NULL; test++) {
1113
        if (strcmp(test->name, (char *) argv->buffer) == 0) {
1126
        if (strcmp(test->name, (char *) argv->buffer) == 0) {
1114
            fnd = true;
1127
            fnd = true;
1115
           
1128
           
1116
            if (test->safe)
1129
            if (test->safe)
1117
                run_bench(test, cnt);
1130
                run_bench(test, cnt);
1118
            else
1131
            else
1119
                printf("Unsafe test\n");
1132
                printf("Unsafe test\n");
1120
           
1133
           
1121
            break;
1134
            break;
1122
        }
1135
        }
1123
    }
1136
    }
1124
       
1137
       
1125
    if (!fnd)
1138
    if (!fnd)
1126
        printf("Unknown test\n");
1139
        printf("Unknown test\n");
1127
 
1140
 
1128
    return 1;
1141
    return 1;
1129
}
1142
}
1130
 
1143
 
1131
#endif
1144
#endif
1132
 
1145
 
1133
/** @}
1146
/** @}
1134
 */
1147
 */
1135
 
1148