| /seL4-test-master/kernel/include/arch/x86/arch/32/mode/machine/ |
| H A D | registerset.h | 50 /* 0x30 */ FLAGS = 12, enumerator in enum:_register
87 [seL4_UnknownSyscall_FLAGS] = FLAGS\
94 [seL4_UserException_FLAGS] = FLAGS\
101 [seL4_TimeoutReply_FLAGS] = FLAGS,\
|
| /seL4-test-master/kernel/src/arch/x86/machine/ |
| H A D | registerset.c | 19 context->registers[FLAGS] = FLAGS_USER_DEFAULT;
32 if (reg == FLAGS) {
|
| H A D | breakpoint.c | 513 t->tcbArch.tcbContext.registers[FLAGS] |= X86_DEBUG_EFLAGS_RESUME_FLAG;
526 t->tcbArch.tcbContext.registers[FLAGS] &= ~X86_DEBUG_EFLAGS_TRAP_FLAG;
|
| /seL4-test-master/kernel/include/arch/x86/arch/64/mode/machine/ |
| H A D | registerset.h | 51 FLAGS = 13, /* 0x68 */ enumerator in enum:_register
107 [seL4_UnknownSyscall_FLAGS] = FLAGS\
114 [seL4_UserException_FLAGS] = FLAGS\
121 [seL4_TimeoutReply_FLAGS] = FLAGS,\
|
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | thread.c | 29 setRegister(tcb, FLAGS, FLAGS_USER_DEFAULT);
|
| /seL4-test-master/kernel/src/arch/x86/64/ |
| H A D | c_traps.c | 181 || ((cur_thread->tcbArch.tcbContext.registers[FLAGS] & FLAGS_TF) == 0))) {
199 cur_thread->tcbArch.tcbContext.registers[FLAGS] &= ~FLAGS_IF;
316 irqstack[3] = getRegister(cur_thread, FLAGS);
402 setRegister(NODE_STATE(ksCurThread), FLAGS, irq_stack[3]); local
|
| /seL4-test-master/projects/musllibc/src/thread/ |
| H A D | sem_open.c | 25 #define FLAGS (O_RDWR|O_NOFOLLOW|O_CLOEXEC|O_NONBLOCK) macro
83 fd = open(name, FLAGS);
114 fd = open(tmp, O_CREAT|O_EXCL|FLAGS, mode);
|
| /seL4-test-master/kernel/src/arch/x86/32/machine/ |
| H A D | registerset.c | 27 FaultIP, ESP, FLAGS, EAX, EBX, ECX, EDX, ESI, EDI, EBP
|
| /seL4-test-master/kernel/src/arch/x86/64/kernel/ |
| H A D | thread.c | 35 setRegister(tcb, FLAGS, FLAGS_USER_DEFAULT);
|
| /seL4-test-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 125 && ((getRegister(NODE_STATE(ksCurThread), FLAGS) & FLAGS_TF) != 0)) {
163 cur_thread->tcbArch.tcbContext.registers[FLAGS] &= ~FLAGS_IF;
|
| /seL4-test-master/kernel/src/arch/x86/32/ |
| H A D | c_traps.c | 148 NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[FLAGS] &= ~FLAGS_IF;
|
| H A D | traps.S | 14 #define FLAGS 12 define
393 andl $~0x200, (4 * FLAGS)(%esp)
426 movl (4 * FLAGS)(%esp), %eax
441 movl %eax, (4 * FLAGS)(%esp)
465 movl (4 * FLAGS)(%esp), %edx # EDX contains EFLAGS
|
| /seL4-test-master/kernel/src/arch/x86/64/machine/ |
| H A D | registerset.c | 21 FaultIP, RSP, FLAGS, RAX, RBX, RCX, RDX, RSI, RDI, RBP,
|
| /seL4-test-master/kernel/include/arch/x86/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 111 cur_thread->tcbArch.tcbContext.registers[FLAGS] &= ~FLAGS_IF;
|
| /seL4-test-master/kernel/include/arch/x86/arch/machine/ |
| H A D | debug.h | 97 uds->tcbContext.registers[FLAGS] |= FLAGS_TF;
|