Searched refs:SECTION (Results 1 - 12 of 12) sorted by relevance

/seL4-test-master/kernel/include/arch/x86/arch/
H A Dlinker.h12 #define PHYS_CODE SECTION(".phys.text")
15 #define PHYS_DATA SECTION(".phys.data")
18 #define PHYS_BSS SECTION(".phys.bss")
/seL4-test-master/kernel/include/
H A Dlinker.h13 #define BOOT_CODE SECTION(".boot.text")
16 #define BOOT_RODATA SECTION(".boot.rodata")
19 #define BOOT_DATA SECTION(".boot.data")
22 #define BOOT_BSS SECTION(".boot.bss")
25 #define ALIGN_BSS(n) ALIGN(n) SECTION(".bss.aligned")
29 #define SKIM_DATA SECTION(".skim.data")
32 #define SKIM_BSS SECTION(".skim.bss")
H A Dutil.h46 #define SECTION(sec) __attribute__((__section__(sec))) macro
/seL4-test-master/kernel/include/arch/arm/arch/kernel/
H A Dtraps.h26 VISIBLE SECTION(".vectors.text");
30 VISIBLE SECTION(".vectors.text");
37 VISIBLE SECTION(".vectors.text");
41 VISIBLE SECTION(".vectors.text");
44 VISIBLE SECTION(".vectors.text");
47 VISIBLE SECTION(".vectors.text");
50 VISIBLE SECTION(".vectors.text");
54 VISIBLE SECTION(".vectors.text");
59 VISIBLE SECTION(".vectors.text");
/seL4-test-master/projects/sel4test/libsel4testsupport/src/
H A Dtestreporter.c29 static USED SECTION("_test_type") struct {} dummy_test_type;
30 static USED SECTION("_test_case") struct {} dummy_test_case;
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/
H A Dtegra.c22 static USED SECTION("_ps_irqchips") struct {} dummy_ps_irqchips;
/seL4-test-master/projects/util_libs/libplatsupport/src/
H A Dirqchip.h27 USED SECTION("_ps_irqchips") ps_irqchip_t *instance##_ptr = &instance
H A Dfdt.c21 static USED SECTION("_ps_irqchips") struct {} dummy_ps_irqchips;
/seL4-test-master/projects/util_libs/libplatsupport/include/platsupport/
H A Ddriver_module.h45 USED SECTION("_driver_modules") ps_driver_module_t *name##_ptr = &name;
/seL4-test-master/kernel/src/model/
H A Dstatedata.c100 SECTION("._idle_thread") char ksIdleThreadTCB[CONFIG_MAX_NUM_NODES][BIT(seL4_TCBBits)] ALIGN(BIT(TCB_SIZE_BITS));
/seL4-test-master/projects/util_libs/libutils/include/utils/
H A Dattribute.h61 #define SECTION(sect) __attribute__((section(sect))) macro
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dvsyscall.c310 uintptr_t VISIBLE SECTION("__vsyscall") __vsyscall_ptr = (uintptr_t) sel4_vsyscall;

Completed in 120 milliseconds