Searched refs:_camkes_start_c (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/aarch64/
H A Dcrt0.S13 .extern _camkes_start_c
18 b _camkes_start_c
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/x86_64/
H A Dcrt0.S18 .extern _camkes_start_c
28 call _camkes_start_c
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/aarch32/
H A Dcrt0.S13 .extern _camkes_start_c
18 ldr pc, =_camkes_start_c
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/riscv/
H A Dcrt0.S13 .extern _camkes_start_c
43 j _camkes_start_c
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/sel4_arch/ia32/
H A Dcrt0.S25 .extern _camkes_start_c
65 call _camkes_start_c
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c506 void USED NORETURN _camkes_start_c(int thread_id) { function

Completed in 776 milliseconds