| /seL4-test-master/kernel/src/arch/x86/machine/ |
| H A D | registerset.c | 10 void Arch_initContext(user_context_t *context) argument
[all...] |
| H A D | fpu.c | 16 void Arch_initFpuContext(user_context_t *context) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | register_dump.c | 27 seL4_UserContext context; local
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | helpers.h | 72 sel4utils_arch_init_local_context(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, void *stack_top, seL4_UserContext *context) argument
|
| /seL4-test-master/kernel/src/arch/x86/32/machine/ |
| H A D | registerset.c | 42 void Mode_initContext(user_context_t *context) argument
|
| /seL4-test-master/kernel/src/arch/x86/64/machine/ |
| H A D | registerset.c | 37 void Mode_initContext(user_context_t *context) argument
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/arch/riscv/ |
| H A D | arch.c | 18 int sel4utils_arch_init_context(void *entry_point, void *stack_top, seL4_UserContext *context) argument
29 sel4utils_arch_init_context_with_args(void *entry_point, void *arg0, void *arg1, void *arg2, bool local_stack, void *stack_top, seL4_UserContext *context, vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch32/ |
| H A D | arch.c | 21 int sel4utils_arch_init_context(void *entry_point, void *stack_top, seL4_UserContext *context) argument
32 sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, bool local_stack, void *stack_top, seL4_UserContext *context, vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/aarch64/ |
| H A D | arch.c | 22 int sel4utils_arch_init_context(void *entry_point, void *stack_top, seL4_UserContext *context) argument
33 sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, bool local_stack, void *stack_top, seL4_UserContext *context, vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/arm_hyp/ |
| H A D | arch.c | 21 int sel4utils_arch_init_context(void *entry_point, void *stack_top, seL4_UserContext *context) argument
32 sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, bool local_stack, void *stack_top, seL4_UserContext *context, vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/x86_64/ |
| H A D | arch.c | 21 int sel4utils_arch_init_context(void *entry_point, void *stack_top, seL4_UserContext *context) argument
31 sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, bool local_stack, void *stack_top, seL4_UserContext *context, vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace) argument
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
| H A D | guest_arm_context.c | 14 int vm_set_thread_context(vm_vcpu_t *vcpu, seL4_UserContext context) argument
58 vm_get_thread_context(vm_vcpu_t *vcpu, seL4_UserContext *context) argument
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/sel4_arch/ia32/ |
| H A D | arch.c | 21 int sel4utils_arch_init_context(void *entry_point, void *stack_top, seL4_UserContext *context) argument
32 sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, bool local_stack, void *stack_top, seL4_UserContext *context, vka_t *vka, vspace_t *local_vspace, vspace_t *remote_vspace) argument
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | guest_x86_context.c | 15 int vm_set_thread_context(vm_vcpu_t *vcpu, seL4_VCPUContext context) argument
29 int vm_get_thread_context(vm_vcpu_t *vcpu, seL4_VCPUContext *context) argument
181 seL4_VCPUContext context; local
[all...] |
| H A D | vm.c | 110 seL4_VCPUContext context; local
[all...] |
| /seL4-test-master/projects/musllibc/src/thread/ |
| H A D | synccall.c | 19 static void (*callback)(void *), *context; variable
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
| H A D | regressions.c | 77 seL4_UserContext context = { 0 }; local
383 seL4_UserContext context; local
[all...] |
| /seL4-test-master/kernel/manual/parts/ |
| H A D | io.tex | [all...] |
| H A D | bootup.tex | |
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | thread.c | 166 seL4_UserContext context = {0}; local
|
| H A D | process.c | 256 seL4_UserContext context = {0}; local
313 seL4_UserContext context = {0}; local
|
| /seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
| H A D | guest_boot_init.c | 268 seL4_VCPUContext context; local
|
| /seL4-test-master/kernel/include/arch/riscv/arch/machine/ |
| H A D | registerset.h | 119 static inline void Arch_initContext(user_context_t *context) argument
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | registerset.h | 248 static inline void Arch_initContext(user_context_t *context) argument
|
| /seL4-test-master/projects/sel4test/apps/sel4test-tests/src/ |
| H A D | helpers.c | 302 seL4_UserContext context = {}; local
|