FLAGS_IF (reference) in projects: seL4-master

Searched refs:FLAGS_IF (Results 1 – 7 of 7) sorted by relevance

/seL4-master/include/arch/x86/arch/machine/
A D	cpu_registers.h	`23 #define FLAGS_IF BIT(9) /* Interrupt enable Flag */ macro 27 #define FLAGS_USER_DEFAULT FLAGS_IF \| FLAGS_HIGH`
/seL4-master/src/arch/x86/32/
A D	c_traps.c	`148 NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[FLAGS] &= ~FLAGS_IF; in restore_user_context() 177 [IFMASK]"i"(FLAGS_IF) in restore_user_context()`
/seL4-master/include/arch/x86/arch/32/mode/fastpath/
A D	fastpath.h	`111 cur_thread->tcbArch.tcbContext.registers[FLAGS] &= ~FLAGS_IF; in fastpath_restore() 131 [IFMASK]"i"(FLAGS_IF) in fastpath_restore()`
/seL4-master/include/arch/x86/arch/64/mode/fastpath/
A D	fastpath.h	`163 cur_thread->tcbArch.tcbContext.registers[FLAGS] &= ~FLAGS_IF; in fastpath_restore() 214 [IF] "i"(FLAGS_IF) in fastpath_restore()`
/seL4-master/src/arch/x86/64/
A D	c_traps.c	`199 cur_thread->tcbArch.tcbContext.registers[FLAGS] &= ~FLAGS_IF; in restore_user_context() 257 [IF] "i"(FLAGS_IF) in restore_user_context()`
/seL4-master/src/arch/x86/machine/
A D	registerset.c	`37 v \|= FLAGS_IF; in sanitiseRegister()`
/seL4-master/src/arch/x86/64/kernel/
A D	vspace.c	`336 x86_wrmsr(IA32_FMASK_MSR, FLAGS_TF \| FLAGS_IF); in init_syscall_msrs()`

Completed in 9 milliseconds