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

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/
H A Dlinker.h19 #define PHYS_CODE SECTION(".phys.text")
22 #define PHYS_DATA SECTION(".phys.data")
25 #define PHYS_BSS SECTION(".phys.bss")
/seL4-l4v-10.1.1/seL4/include/
H A Dlinker.h18 #define BOOT_CODE SECTION(".boot.text")
21 #define BOOT_RODATA SECTION(".boot.rodata")
24 #define BOOT_DATA SECTION(".boot.data")
27 #define BOOT_BSS SECTION(".boot.bss")
30 #define ALIGN_BSS(n) ALIGN(n) SECTION(".bss.aligned")
34 #define SKIM_DATA SECTION(".skim.data")
37 #define SKIM_BSS SECTION(".skim.bss")
H A Dutil.h47 #define SECTION(sec) __attribute__((__section__(sec))) macro
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/kernel/
H A Dtraps.h53 VISIBLE SECTION(".vectors.text");
56 VISIBLE SECTION(".vectors.text");
59 VISIBLE SECTION(".vectors.text");
62 VISIBLE SECTION(".vectors.text");
65 VISIBLE SECTION(".vectors.text");
69 VISIBLE SECTION(".vectors.text");
74 VISIBLE SECTION(".vectors.text");
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/fastpath/
H A Dfastpath.h23 NORETURN SECTION(".vectors.fastpath_call");
26 NORETURN SECTION(".vectors.fastpath_reply_recv");
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/
H A Dthy_header.scala24 val SECTION = "section"
54 (SECTION, Keyword.Spec(Keyword.DOCUMENT_HEADING)),
164 command(SECTION) |
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/
H A Dthy_header.scala24 val SECTION = "section"
54 (SECTION, Keyword.Spec(Keyword.DOCUMENT_HEADING)),
164 command(SECTION) |
/seL4-l4v-10.1.1/isabelle/src/Pure/System/
H A Doptions.scala67 private val SECTION = "section"
75 (SECTION, Keyword.DOCUMENT_HEADING) +
98 command(SECTION) ~! text ^^
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/
H A Doptions.scala67 private val SECTION = "section"
75 (SECTION, Keyword.DOCUMENT_HEADING) +
98 command(SECTION) ~! text ^^
/seL4-l4v-10.1.1/isabelle/src/Pure/Isar/
H A Ddocument_structure.scala146 case Thy_Header.SECTION => Some(1)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Isar/
H A Ddocument_structure.scala146 case Thy_Header.SECTION => Some(1)
/seL4-l4v-10.1.1/HOL4/src/quotient/src/
H A Dquotient.sml2402 (* QUOTIENT THEOREM CREATION AND CACHING SECTION *)

Completed in 77 milliseconds