Searched refs:bitwiseAndDr6Reg (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dbreakpoint.c58 static inline void bitwiseAndDr6Reg(word_t mask) function
499 bitwiseAndDr6Reg(~X86_DEBUG_DR6_SINGLE_STEP_FLAG);
580 bitwiseAndDr6Reg(~BIT(ret.bp_num));

Completed in 108 milliseconds