| /seL4-l4v-10.1.1/seL4/src/arch/x86/ |
| H A D | multiboot.S | 53 .align 4
68 .align 8
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/ |
| H A D | head.S | 352 .align 4096
364 .align 16
382 .align 4096
460 .align 16
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/32/ |
| H A D | head.S | 143 .align 16
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/ |
| H A D | traps.S | 48 .align 7
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Useful.sml | 675 | align :: aligns =>
680 alignColumn align col cols
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Useful.sml | 675 | align :: aligns =>
680 alignColumn align col cols
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/GUI/ |
| H A D | wrap_panel.scala | 23 class Layout(align: Int = FlowLayout.CENTER, hgap: Int = 5, vgap: Int = 5)
24 extends FlowLayout(align: Int, hgap: Int, vgap: Int)
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/GUI/ |
| H A D | wrap_panel.scala | 23 class Layout(align: Int = FlowLayout.CENTER, hgap: Int = 5, vgap: Int = 5)
24 extends FlowLayout(align: Int, hgap: Int, vgap: Int)
|
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | syntax.py | 340 def align (self): member in class:Type
342 return structs[self.name].align
344 return self.el_typ.align ()
551 def __init__ (self, name, size, align):
554 self.align = align
902 struct = Struct (struct_name, typ.size (), typ.align ())
|
| H A D | logic.py | 588 align = typ.align ()
596 align = typ.align ()
602 align = typ.align ()
605 assert align in [1, 4, 8]
607 if align > 1:
608 align_req = [mk_eq (mk_bwand (p, mk_word32 (align - 1)), w0)]
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Dialog.sml | 439 (* Must align onto a 4-byte boundary except for the last. *)
|
| H A D | Base.sml | 925 val { size=sizeC, align=alignC, ffiType=ffiTypeC } = LowLevel.cTypeChar
929 size = arraySize, align = alignC, typeCode=LibFFI.ffiTypeCodeStruct,
932 { size = arraySize, align = alignC, ffiType = ffiType }
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
| H A D | X86FOREIGNCALL.sml | 130 val align = argSpace mod 16 value
133 if align = 0
135 else memRegSize + 16 - align
236 val align = argSpace mod 16 value
239 if align = 0
241 else memRegSize + 16 - align
326 val align = argSpace mod 16 value
329 if align = 0
331 else memRegSize + 16 - align
424 val align value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | polyffi.cpp | 331 unsigned short align = get_C_ushort(taskData, args->WordP()->Get(1)); local
346 result->alignment = align;
|
| H A D | pecoffexport.h | 44 void alignFile(int align);
|
| H A D | pecoffexport.cpp | 188 void PECOFFExport::alignFile(int align) argument
192 if ((offset % align) == 0) return;
193 fwrite(&pad, align - (offset % align), 1, exportFile);
|
| H A D | machoexport.h | 50 void alignFile(int align);
|
| H A D | machoexport.cpp | 226 void MachoExport::alignFile(int align) argument
230 if ((offset % align) == 0) return;
231 fwrite(&pad, align - (offset % align), 1, exportFile);
356 sections[i].align = 3; // 8 byte alignment
366 sections[memTableEntries].align = 3; // 8 byte alignment
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
| H A D | texinfo.tex | 9792 % \normaloffset until the front-side and back-side texts align. Then
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/xtensa/ |
| H A D | sysv.S | 31 #define ENTRY(name) .text; .globl name; .type name,@function; .align 4; name:
122 .align 8
129 .align 8
134 .align 8
139 .align 8
144 .align 8
149 .align 8
154 .align 8
187 .align 4 # [ 6]
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
| H A D | win32.S | 1211 .align 4
1242 .align 4
1273 .align 4
1311 .align 4
1344 .align 4
|
| H A D | unix64.S | 43 .align 2
110 .align 2
113 .align 2
119 .align 2
124 .align 2
128 .align 2
133 .align 2
137 .align 2
142 .align 2
147 .align
[all...] |
| H A D | sysv.S | 38 .align 4
170 .align 4
275 .align 4
397 .align 4
418 .align 4
445 .align 4
473 .align 4
|
| H A D | freebsd.S | 38 .align 4
184 .align 4
278 .align 4
368 .align 4
393 .align 4
424 .align 4
456 .align 4
|
| H A D | ffi64.c | 400 long align = cif->arg_types[i]->alignment; local
402 if (align < 8)
403 align = 8;
405 bytes = ALIGN (bytes, align);
467 long align = arg_types[i]->alignment; local
470 if (align < 8)
471 align = 8;
474 argp = (void *) ALIGN (argp, align);
623 long align = arg_types[i]->alignment; local
626 if (align <
[all...] |