Searched refs:eflags (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | types.h | 28 seL4_Word eip, esp, eflags, eax, ebx, ecx, edx, esi, edi, ebp; member in struct:seL4_UserContext_
|
| H A D | deprecated.h | 49 seL4_Word eflags; member in struct:__anon208::__anon209
67 seL4_Word eflags; member in struct:__anon210::__anon211
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86/ |
| H A D | x86_seq_monadScript.sml | 17 (Xeflags -> bool option) # (* - eflags *)
150 (* eflags can always be written, but reading a NONE eflag causes a failure *)
|
| H A D | x86_opsemScript.sml | 245 (* evaluating conditions of eflags *)
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/x86_64/ |
| H A D | x64_seq_monadScript.sml | 18 (Zeflags -> bool option) # (* - eflags *)
157 (* eflags can always be written, but reading a NONE eflag causes a failure *)
|
| H A D | x64_opsemScript.sml | 260 (* evaluating conditions of eflags *)
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/ |
| H A D | ppc_seq_monadScript.sml | 74 (* eflags can always be written, but reading a NONE status bit causes a failure *)
|
Completed in 103 milliseconds