Kernel debugger extensions of the Fiasco L4 implementation.
More...
|
file | segment.h |
| l4f specific fs/gs manipulation
|
|
file | segment.h |
| l4f specific segment manipulation
|
|
|
l4_tracebuffer_status_t * | fiasco_tbuf_get_status (void) |
| Return trace-buffer status. More...
|
|
l4_addr_t | fiasco_tbuf_get_status_phys (void) |
| Return the physical address of the trace-buffer status struct. More...
|
|
l4_umword_t | fiasco_tbuf_log (const char *text) |
| Create new trace-buffer entry with describing <text>. More...
|
|
l4_umword_t | fiasco_tbuf_log_3val (const char *text, l4_umword_t v1, l4_umword_t v2, l4_umword_t v3) |
| Create new trace-buffer entry with describing <text> and three additional values. More...
|
|
l4_umword_t | fiasco_tbuf_log_binary (const unsigned char *data) |
| Create new trace-buffer entry with binary data. More...
|
|
void | fiasco_tbuf_clear (void) |
| Clear trace-buffer.
|
|
void | fiasco_tbuf_dump (void) |
| Dump trace-buffer to kernel console.
|
|
long | fiasco_ldt_set (l4_cap_idx_t task, void *ldt, unsigned int num_desc, unsigned int entry_number_start, l4_utcb_t *utcb) |
| Set LDT segments descriptors. More...
|
|
long | fiasco_gdt_set (l4_cap_idx_t thread, void *desc, unsigned int size, unsigned int entry_number_start, l4_utcb_t *utcb) |
| Set GDT segment descriptors. More...
|
|
unsigned | fiasco_gdt_get_entry_offset (l4_cap_idx_t thread, l4_utcb_t *utcb) |
| Return the offset of the entry in the GDT. More...
|
|
Kernel debugger extensions of the Fiasco L4 implementation.
◆ anonymous enum
Log event types.
Enumerator |
---|
LOG_EVENT_CONTEXT_SWITCH | Event: context switch.
|
LOG_EVENT_IPC_SHORTCUT | Event: IPC shortcut.
|
LOG_EVENT_IRQ_RAISED | Event: IRQ occurred.
|
LOG_EVENT_TIMER_IRQ | Event: Timer IRQ occurred.
|
LOG_EVENT_THREAD_EX_REGS | Event: thread_ex_regs.
|
LOG_EVENT_MAX_EVENTS | Maximum number of events.
|
Definition at line 37 of file ktrace.h.
◆ fiasco_gdt_get_entry_offset()
Return the offset of the entry in the GDT.
- Parameters
-
thread | Thread to get info from. |
utcb | UTCB of the caller. |
Definition at line 149 of file segment.h.
◆ fiasco_gdt_set()
long fiasco_gdt_set |
( |
l4_cap_idx_t |
thread, |
|
|
void * |
desc, |
|
|
unsigned int |
size, |
|
|
unsigned int |
entry_number_start, |
|
|
l4_utcb_t * |
utcb |
|
) |
| |
|
inline |
Set GDT segment descriptors.
Fiasco supports 3 consecutive entries, starting at the value returned by fiasco_gdt_get_entry_offset()
- Parameters
-
thread | Thread to set the GDT entry for. |
desc | Pointer to GDT descriptors. |
size | Size of the descriptors in bytes (multiple of 8). |
entry_number_start | Entry number to start (valid values: 0-2). |
utcb | UTCB of the caller. |
- Returns
- System call error
Definition at line 52 of file segment.h.
◆ fiasco_ldt_set()
long fiasco_ldt_set |
( |
l4_cap_idx_t |
task, |
|
|
void * |
ldt, |
|
|
unsigned int |
num_desc, |
|
|
unsigned int |
entry_number_start, |
|
|
l4_utcb_t * |
utcb |
|
) |
| |
|
inline |
Set LDT segments descriptors.
- Parameters
-
task | Task to set the segment for. |
ldt | Pointer to LDT hardware descriptors. |
num_desc | Number of descriptors. |
entry_number_start | Entry number to start. |
utcb | UTCB of the caller. |
Definition at line 136 of file segment.h.
References L4_EINVAL, and L4_TASK_LDT_X86_MAX_ENTRIES.
◆ fiasco_tbuf_get_status()
Return trace-buffer status.
- Returns
- Pointer to trace-buffer status struct.
Definition at line 35 of file __ktrace-impl.h.
◆ fiasco_tbuf_get_status_phys()
l4_addr_t fiasco_tbuf_get_status_phys |
( |
void |
| ) |
|
|
inline |
Return the physical address of the trace-buffer status struct.
- Returns
- physical address of status struct.
Definition at line 42 of file __ktrace-impl.h.
◆ fiasco_tbuf_log()
Create new trace-buffer entry with describing <text>.
- Parameters
-
- Returns
- Pointer to trace-buffer entry
Definition at line 48 of file __ktrace-impl.h.
References l4_error().
◆ fiasco_tbuf_log_3val()
Create new trace-buffer entry with describing <text> and three additional values.
- Parameters
-
text | Logging text |
v1 | first value |
v2 | second value |
v3 | third value |
- Returns
- Pointer to trace-buffer entry
Definition at line 55 of file __ktrace-impl.h.
References l4_error().
◆ fiasco_tbuf_log_binary()
l4_umword_t fiasco_tbuf_log_binary |
( |
const unsigned char * |
data | ) |
|
|
inline |
Create new trace-buffer entry with binary data.
- Parameters
-
- Returns
- Pointer to trace-buffer entry
Definition at line 78 of file __ktrace-impl.h.
References l4_error().