| /seL4-l4v-10.1.1/HOL4/src/tactictoe/src/ |
| H A D | tttRedirect.sml | 37 val flags = if append then O.append else O.trunc value
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | BIT_FLAGS.sml | 29 val flags : flags list -> flags value
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/object/ |
| H A D | tcb.c | 20 Arch_decodeTransfer(word_t flags) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/object/ |
| H A D | tcb.c | 27 Arch_decodeTransfer(word_t flags) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | check_objects.cpp | 109 byte flags = GetTypeBits(L); /* discards GC flag and mutable bit */ local
|
| H A D | run_time.cpp | 78 PolyObject *alloc(TaskData *taskData, POLYUNSIGNED data_words, unsigned flags) argument
109 Handle alloc_and_save(TaskData *taskData, POLYUNSIGNED size, unsigned flags) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/api/ |
| H A D | faults.c | 61 handleKernelException( word_t vector, word_t errcode, word_t ip, word_t sp, word_t flags, word_t cr0, word_t cr2, word_t cr3, word_t cr4 ) argument
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | tcb.c | 18 word_t CONST Arch_decodeTransfer(word_t flags) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/xtensa/ |
| H A D | ffi.c | 194 int flags = cif->flags; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Edit.sml | 27 include BIT_FLAGS where type flags = Window.Style.flags type
[all...] |
| H A D | Listbox.sml | 25 include BIT_FLAGS where type flags = Window.Style.flags type
[all...] |
| H A D | MessageBox.sml | 84 type flags = word type
87 val flags = List.foldl (fn (a, b) => orb(a,b)) 0w0 value
[all...] |
| H A D | WinBase.sml | 58 type flags = SysWord.word type
61 val flags = List.foldl (fn (a, b) => SysWord.orb(a,b)) 0w0 value
119 type flags = SysWord.word type
122 val flags = List.foldl (fn (a, b) => SysWord.orb(a,b)) 0w0 value
[all...] |
| H A D | Class.sml | 95 type flags = Word32.word type
98 val flags = List.foldl (fn (a, b) => orb(a,b)) 0w0 value
[all...] |
| H A D | Color.sml | 91 val flags = value
|
| H A D | Combobox.sml | 25 include BIT_FLAGS where type flags = Window.Style.flags type
[all...] |
| H A D | Scrollbar.sml | 27 include BIT_FLAGS where type flags = Window.Style.flags type
[all...] |
| H A D | Static.sml | 25 include BIT_FLAGS where type flags = Window.Style.flags type
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/ |
| H A D | prog_ppcLib.sml | 37 val flags = map (fn tm => mk_eq(tm,(f ``:bool`` o snd o process T o cdr o car) tm)) fs value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ia64/ |
| H A D | ffi.c | 226 int flags; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/ |
| H A D | ffi.c | 239 unsigned flags = 0; local
273 unsigned flags = 0; local
70 ffi_prep_args(char *stack, extended_cif *ecif, int bytes, int flags) argument
[all...] |
| H A D | o32.S | 37 #define flags a3 define
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
| H A D | ffi_sysv.c | 97 unsigned flags = cif->flags; local
353 const unsigned flags = ecif->cif->flags; local
[all...] |
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/ |
| H A D | multiboot.h | 39 uint32_t flags; member in struct:multiboot_info::multiboot_part1
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
| H A D | closures.c | 268 open_temp_exec_file_name (char *name, int flags) argument
289 int lendir, flags; local
458 dlmmap_locked (void *start, size_t length, int prot, int flags, off_t offset) argument
514 dlmmap(void *start, size_t length, int prot, int flags, int fd, off_t offset) argument
[all...] |