Home
last modified time | relevance | path

Searched refs:SECTION (Results 1 – 5 of 5) sorted by relevance

/seL4-master/include/arch/arm/arch/kernel/
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-master/include/
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")
A Dutil.h85 #define SECTION(sec) __attribute__((__section__(sec))) macro
/seL4-master/include/arch/x86/arch/
A Dlinker.h12 #define PHYS_CODE SECTION(".phys.text")
15 #define PHYS_DATA SECTION(".phys.data")
18 #define PHYS_BSS SECTION(".phys.bss")
/seL4-master/src/model/
A Dstatedata.c100 SECTION("._idle_thread") char ksIdleThreadTCB[CONFIG_MAX_NUM_NODES][BIT(seL4_TCBBits)] ALIGN(BIT(TC…

Completed in 7 milliseconds