Home
last modified time | relevance | path

Searched refs:FLAGS_TF (Results 1 – 6 of 6) sorted by relevance

/seL4-master/include/arch/x86/arch/machine/
A Dcpu_registers.h22 #define FLAGS_TF BIT(8) /* Trap Flag */ macro
A Ddebug.h97 uds->tcbContext.registers[FLAGS] |= FLAGS_TF; in restore_user_debug_context()
/seL4-master/src/arch/x86/machine/
A Dregisterset.c38 v &= ~FLAGS_TF; in sanitiseRegister()
/seL4-master/include/arch/x86/arch/64/mode/fastpath/
A Dfastpath.h125 && ((getRegister(NODE_STATE(ksCurThread), FLAGS) & FLAGS_TF) != 0)) { in fastpath_restore()
/seL4-master/src/arch/x86/64/
A Dc_traps.c181 || ((cur_thread->tcbArch.tcbContext.registers[FLAGS] & FLAGS_TF) == 0))) { in restore_user_context()
/seL4-master/src/arch/x86/64/kernel/
A Dvspace.c336 x86_wrmsr(IA32_FMASK_MSR, FLAGS_TF | FLAGS_IF); in init_syscall_msrs()

Completed in 8 milliseconds