Home
last modified time | relevance | path

Searched refs:_start (Results 1 – 10 of 10) sorted by relevance

/seL4-master/src/arch/riscv/
A Dhead.S13 .global _start
23 _start: label
A Dcommon_riscv.lds10 ENTRY(_start)
/seL4-master/src/arch/arm/64/
A Dhead.S69 BEGIN_FUNC(_start)
137 END_FUNC(_start)
/seL4-master/src/arch/x86/32/
A Dhead.S47 BEGIN_FUNC(_start)
83 END_FUNC(_start)
/seL4-master/src/arch/arm/32/
A Dhead.S79 BEGIN_FUNC(_start)
185 END_FUNC(_start)
/seL4-master/src/arch/arm/
A Dcommon_arm.lds13 ENTRY(_start)
/seL4-master/src/arch/x86/64/
A Dhead.S269 BEGIN_FUNC(_start)
294 END_FUNC(_start)
/seL4-master/src/plat/pc99/
A Dlinker.lds11 ENTRY(_start)
/seL4-master/src/arch/x86/kernel/
A Dboot_sys.c44 extern char _start[1];
399 (paddr_t)_start in try_boot_sys()
/seL4-master/manual/parts/
A Dbootup.tex161 symbols \texttt{\_\_executable\_start} and \texttt{\_end} are available).

Completed in 13 milliseconds