Searched refs:__sel4_start_c (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/projects/sel4runtime/crt/sel4_arch/aarch32/
H A Dcrt0.S21 bl __sel4_start_c
/seL4-test-master/projects/sel4runtime/crt/sel4_arch/aarch64/
H A Dcrt0.S19 bl __sel4_start_c
/seL4-test-master/projects/sel4runtime/crt/sel4_arch/arm_hyp/
H A Dcrt0.S21 bl __sel4_start_c
/seL4-test-master/projects/sel4runtime/crt/sel4_arch/ia32/
H A Dcrt0.S25 * call instruction to __sel4_start_c.
29 call __sel4_start_c
/seL4-test-master/projects/sel4runtime/crt/sel4_arch/x86_64/
H A Dcrt0.S26 * __sel4_start_c.
30 call __sel4_start_c
/seL4-test-master/projects/sel4runtime/crt/arch/riscv/
H A Dcrt0.S44 jal ra, __sel4_start_c
/seL4-test-master/projects/sel4runtime/src/
H A Dcrt1.c30 void __sel4_start_c(void const *stack) function

Completed in 33 milliseconds