/seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/aarch32/ |
H A D | crt0.S | 17 * - no other file already provides a _start symbol, and 18 * - _start is an undefined external symbol (force this by passing 19 * "-u _start" to ld). 32 .global _start 33 _start: label
|
/seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/aarch64/ |
H A D | crt0.S | 23 .global _start 24 _start: label
|
/seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/arm_hyp/ |
H A D | crt0.S | 17 * - no other file already provides a _start symbol, and 18 * - _start is an undefined external symbol (force this by passing 19 * "-u _start" to ld). 32 .global _start 33 _start: label
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/aarch32/ |
H A D | crt0.S | 17 * - no other file already provides a _start symbol, and 18 * - _start is an undefined external symbol (force this by passing 19 * "-u _start" to ld). 32 .global _start 33 _start: label
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/aarch64/ |
H A D | crt0.S | 23 .global _start 24 _start: label
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/arm_hyp/ |
H A D | crt0.S | 17 * - no other file already provides a _start symbol, and 18 * - _start is an undefined external symbol (force this by passing 19 * "-u _start" to ld). 32 .global _start 33 _start: label
|
/seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/ia32/ |
H A D | crt0.S | 17 * - no other file already provides a _start symbol, and 18 * - _start is an undefined external symbol (force this by passing 19 * "-u _start" to ld). 30 .global _start 34 _start: label
|
/seL4-refos-master/libs/libsel4platsupport/src/sel4_arch/x86_64/ |
H A D | crt0.S | 17 * - no other file already provides a _start symbol, and 18 * - _start is an undefined external symbol (force this by passing 19 * "-u _start" to ld). 30 .global _start 35 _start: label
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/ia32/ |
H A D | crt0.S | 17 * - no other file already provides a _start symbol, and 18 * - _start is an undefined external symbol (force this by passing 19 * "-u _start" to ld). 30 .global _start 34 _start: label
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/sel4_arch/x86_64/ |
H A D | crt0.S | 17 * - no other file already provides a _start symbol, and 18 * - _start is an undefined external symbol (force this by passing 19 * "-u _start" to ld). 30 .global _start 35 _start: label
|
/seL4-refos-master/kernel/src/arch/riscv/ |
H A D | head.S | 12 .global _start 23 _start: label
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/32/ |
H A D | crt0_64.S | 16 BEGIN_FUNC(_start)
|
H A D | crt0.S | 17 BEGIN_FUNC(_start) 54 END_FUNC(_start)
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/efi/ |
H A D | efi_init.c | 13 extern void _start(void); 19 _start();
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-riscv/ |
H A D | crt0.S | 10 .global _start 17 _start: label
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/exynos5/ |
H A D | platform_init.c | 62 extern char _start[]; 77 boot_cpu(BOOTCPU, (uintptr_t)_start);
|
/seL4-refos-master/tools/elfloader/src/arch-arm/32/ |
H A D | crt0_64.S | 16 BEGIN_FUNC(_start)
|
H A D | crt0.S | 17 BEGIN_FUNC(_start) 54 END_FUNC(_start)
|
/seL4-refos-master/tools/elfloader/src/arch-riscv/ |
H A D | crt0.S | 10 .global _start 17 _start: label
|
/seL4-refos-master/tools/elfloader/src/binaries/efi/ |
H A D | efi_init.c | 13 extern void _start(void); 19 _start();
|
/seL4-refos-master/tools/elfloader/src/plat/exynos5/ |
H A D | platform_init.c | 62 extern char _start[]; 77 boot_cpu(BOOTCPU, (uintptr_t)_start);
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/64/ |
H A D | crt0.S | 18 BEGIN_FUNC(_start) 42 END_FUNC(_start) 49 adr x1, _start 58 * everything between _start and _archive_start is important 67 /* check: if (end < archive_start && end >= _start) { abort } */ 77 /* check: if (dest < archive_start && dest >= _start) { abort } */
|
/seL4-refos-master/tools/elfloader/src/arch-arm/64/ |
H A D | crt0.S | 18 BEGIN_FUNC(_start) 42 END_FUNC(_start) 49 adr x1, _start 58 * everything between _start and _archive_start is important 67 /* check: if (end < archive_start && end >= _start) { abort } */ 77 /* check: if (dest < archive_start && dest >= _start) { abort } */
|
/seL4-refos-master/kernel/src/arch/arm/64/ |
H A D | head.S | 68 BEGIN_FUNC(_start) 121 END_FUNC(_start)
|
/seL4-refos-master/kernel/src/arch/x86/32/ |
H A D | head.S | 47 BEGIN_FUNC(_start) 83 END_FUNC(_start)
|