/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | helpers.h | 72 sel4utils_arch_init_local_context(sel4utils_thread_entry_fn entry_point, argument
|
H A D | process.h | 44 void *entry_point; member in struct:__anon638
|
H A D | process_config.h | 31 void *entry_point; member in struct:__anon3 97 static inline sel4utils_process_config_t process_config_noelf(sel4utils_process_config_t config, void *entry_point, argument
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | helpers.h | 72 sel4utils_arch_init_local_context(sel4utils_thread_entry_fn entry_point, argument
|
H A D | process.h | 44 void *entry_point; member in struct:__anon804
|
H A D | process_config.h | 31 void *entry_point; member in struct:__anon4 97 static inline sel4utils_process_config_t process_config_noelf(sel4utils_process_config_t config, void *entry_point, argument
|
/seL4-refos-master/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 int sel4utils_arch_init_context_with_args(void *entry_point, void *arg0, void *arg1, void *arg2, argument
|
/seL4-refos-master/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 int sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, argument
|
/seL4-refos-master/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 int sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, argument
|
/seL4-refos-master/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 int sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, argument
|
/seL4-refos-master/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 int sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, argument
|
/seL4-refos-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 int sel4utils_arch_init_context_with_args(void *entry_point, void *arg0, void *arg1, void *arg2, argument
|
/seL4-refos-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 int sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, argument
|
/seL4-refos-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 int sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, argument
|
/seL4-refos-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 int sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, argument
|
/seL4-refos-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 int sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, argument
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/ |
H A D | psci.c | 36 int psci_cpu_suspend(int power_state, unsigned long entry_point, argument 50 int psci_cpu_on(unsigned long target_cpu, unsigned long entry_point, argument
|
/seL4-refos-master/tools/elfloader/src/arch-arm/ |
H A D | psci.c | 36 int psci_cpu_suspend(int power_state, unsigned long entry_point, argument 50 int psci_cpu_on(unsigned long target_cpu, unsigned long entry_point, argument
|
/seL4-refos-master/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 int sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, argument
|
/seL4-refos-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 int sel4utils_arch_init_context_with_args(sel4utils_thread_entry_fn entry_point, void *arg0, void *arg1, void *arg2, argument
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | thread.c | 163 int sel4utils_start_thread(sel4utils_thread_t *thread, sel4utils_thread_entry_fn entry_point, argument
|
H A D | elf.c | 448 static void *entry_point(elf_t *elf_file) function 450 uint64_t entry_point = elf_getEntryPoint(elf_file); local
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | thread.c | 163 int sel4utils_start_thread(sel4utils_thread_t *thread, sel4utils_thread_entry_fn entry_point, argument
|
H A D | elf.c | 448 static void *entry_point(elf_t *elf_file) function 450 uint64_t entry_point = elf_getEntryPoint(elf_file); local
|