| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | BIT_FLAGS.sml | 29 val flags : flags list -> flags value
[all...] |
| /seL4-l4v-master/seL4/src/arch/arm/object/ |
| H A D | tcb.c | 15 word_t CONST Arch_decodeTransfer(word_t flags) argument
|
| H A D | vcpu.c | 143 uint32_t flags; local
|
| /seL4-l4v-master/seL4/src/arch/riscv/object/ |
| H A D | tcb.c | 15 word_t CONST Arch_decodeTransfer(word_t flags) argument
|
| /seL4-l4v-master/HOL4/src/AI/sml_inspection/ |
| H A D | smlRedirect.sml | 37 val flags = if append then O.append else O.trunc value
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | check_objects.cpp | 110 byte flags = GetTypeBits(L); /* discards GC flag and mutable bit */ local
|
| H A D | run_time.cpp | 72 PolyObject *alloc(TaskData *taskData, uintptr_t data_words, unsigned flags) argument
102 Handle alloc_and_save(TaskData *taskData, uintptr_t size, unsigned flags) argument
|
| H A D | poly_specific.cpp | 310 POLYUNSIGNED PolySetCodeConstant(PolyWord closure, PolyWord offset, PolyWord cWord, PolyWord flags) argument
|
| H A D | osmemunix.cpp | 105 int flags = 0; local
243 int flags = MAP_FIXED | MAP_PRIVATE | MAP_ANON; local
407 int flags = MAP_PRIVATE | MAP_ANON; local
|
| H A D | processes.h | 86 PolyWord flags; // Tagged integer containing flags indicating how interrupts member in class:ThreadObject
|
| /seL4-l4v-master/seL4/src/arch/x86/api/ |
| H A D | faults.c | 54 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-master/seL4/src/arch/x86/object/ |
| H A D | tcb.c | 14 word_t CONST Arch_decodeTransfer(word_t flags) argument
|
| /seL4-l4v-master/HOL4/polyml/mlsource/extra/Win/ |
| 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 | 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 | 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...] |
| H A D | Button.sml | 25 include BIT_FLAGS where type flags = Window.Style.flags type
74 type flags = Window.Style.flags (* Causes the type to print as Dialog.Style.flags. *) type
[all...] |
| H A D | Menu.sml | 445 val flags = List.foldl Word32.orb 0w0 [f1,f2,f3] value
467 val flags value
[all...] |
| /seL4-l4v-master/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-master/seL4/include/arch/x86/arch/kernel/ |
| H A D | multiboot.h | 33 uint32_t flags; member in struct:multiboot_info::multiboot_part1
|