| /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)
|