#include "initcalls.h"
#include "l4_types.h"
#include <cstring>
#include "entry_frame.h"
#include "kip.h"
#include "trap_state.h"
#include "cpu.h"
Go to the source code of this file.
Enumerations | |
enum | { Tbuf_unused = 0, Tbuf_pf = 1, Tbuf_ipc = 2, Tbuf_ipc_res = 3, Tbuf_ipc_trace = 4, Tbuf_ke = 5, Tbuf_ke_reg = 6, Tbuf_unmap = 7, Tbuf_shortcut_failed = 8, Tbuf_shortcut_succeeded = 9, Tbuf_context_switch = 10, Tbuf_exregs = 11, Tbuf_breakpoint = 12, Tbuf_trap = 13, Tbuf_pf_res = 14, Tbuf_sched = 15, Tbuf_preemption = 16, Tbuf_lipc = 17, Tbuf_jean1 = 18, Tbuf_task_new = 19, Tbuf_max = 32, Tbuf_hidden = 0x20 } |
Variables | |
Tb_entry | packed |
|
|
|