| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | init.h | 31 void camkes_start_control(int thread_id, void *ipc_buffer_ptr);
|
| H A D | fault.h | 32 * thread_id - Numerical identifier of the faulting thread
40 void camkes_show_fault(seL4_MessageInfo_t info, seL4_CPtr thread_id,
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | arch_fault.h | 21 void show_unknown_syscall_fault(seL4_CPtr thread_id, const char *name);
|
| H A D | fault.c | 94 void camkes_show_fault(seL4_MessageInfo_t info, seL4_CPtr thread_id, argument
117 "send", get_instance_name(), safe_name, thread_id,
125 unresolved, get_instance_name(), safe_name, thread_id,
136 safe_name, thread_id, (void*)pc, slot);
147 get_instance_name(), safe_name, thread_id, (void*)pc, slot);
154 get_instance_name(), safe_name, thread_id, (void*)pc,
169 get_instance_name(), safe_name, thread_id, (void*)addr,
172 sel4debug_dump_registers_prefix(thread_id, FAULT_PREFIX);
183 show_unknown_syscall_fault(thread_id, name);
195 get_instance_name(), safe_name, thread_id, (voi
[all...] |
| H A D | start.c | 23 void camkes_start_control(int thread_id, void *ipc_buffer_ptr) argument
46 (char *)(uintptr_t) thread_id,
|
| /seL4-camkes-master/projects/seL4_libs/libsel4sync/src/ |
| H A D | recursive_mutex.c | 24 static void *thread_id(void) function
55 if (thread_id() != mutex->owner) {
60 mutex->owner = thread_id();
80 assert(mutex->owner == thread_id());
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/riscv/ |
| H A D | unknown_syscall_fault.c | 19 void show_unknown_syscall_fault(seL4_CPtr thread_id, const char *name) argument
44 syscall, name, thread_id, (void *)pc, (void *)a0, (void *)a1, (void *)a2,
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/aarch32/ |
| H A D | unknown_syscall_fault.c | 19 void show_unknown_syscall_fault(seL4_CPtr thread_id, const char *name) argument
48 syscall, name, thread_id, (void *)pc, (void *)r0, (void *)r1, (void *)r2,
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/ |
| H A D | unknown_syscall_fault.c | 19 void show_unknown_syscall_fault(seL4_CPtr thread_id, const char *name) argument
44 syscall, name, thread_id, (void *)eip, (void *)eax, (void *)ebx,
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/aarch64/ |
| H A D | unknown_syscall_fault.c | 20 void show_unknown_syscall_fault(seL4_CPtr thread_id, const char *name) argument
49 syscall, name, thread_id, (void *)pc, (void *)x0, (void *)x1, (void *)x2,
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | component.common.c | 496 const char * get_thread_name(int thread_id) { argument
497 switch (thread_id) {
505 static int post_main(int thread_id);
506 void USED NORETURN _camkes_start_c(int thread_id) { argument
508 if (thread_id != /*? tcb_control ?*/) {
509 post_main(thread_id);
513 camkes_start_control(thread_id, ipc_buf_ptr);
523 void camkes_tls_init(int thread_id) { argument
524 switch (thread_id) {
559 get_instance_name(), get_thread_name(thread_id));
772 post_main(int thread_id) argument
862 int thread_id = (int)(uintptr_t)(argv[1]); local
[all...] |
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/x86_64/ |
| H A D | unknown_syscall_fault.c | 20 void show_unknown_syscall_fault(seL4_CPtr thread_id, const char *name) argument
61 syscall, name, thread_id, (void *)rip, (void *)rax, (void *)rbx,
|
| /seL4-camkes-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
| H A D | irq_server.c | 38 thread_id_t thread_id; member in struct:irq_server_thread
72 ntfn_id_t target_ntfn = thread_info->thread_id;
224 new_thread->thread_id = thread_id_to_use;
313 /* thread_id is synonymous with a ntfn_id */
315 (ntfn_id_t) st->thread_id, irq_server);
|