FLAGS_USER_DEFAULT (reference) in projects: seL4-master

Searched refs:FLAGS_USER_DEFAULT (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/arch/x86/32/kernel/
A D	thread.c	`29 setRegister(tcb, FLAGS, FLAGS_USER_DEFAULT); in Arch_configureIdleThread()`
/seL4-master/include/arch/x86/arch/machine/
A D	cpu_registers.h	`27 #define FLAGS_USER_DEFAULT FLAGS_IF \| FLAGS_HIGH macro`
/seL4-master/src/arch/x86/machine/
A D	registerset.c	`19 context->registers[FLAGS] = FLAGS_USER_DEFAULT; in Arch_initContext()`
/seL4-master/src/arch/x86/64/kernel/
A D	thread.c	`35 setRegister(tcb, FLAGS, FLAGS_USER_DEFAULT); in Arch_configureIdleThread()`

Completed in 4 milliseconds