Searched refs:write_dr3 (Results 1 – 2 of 2) sorted by relevance
185 write_dr3(addr); in Debug_SetBreakpoint()
255 static INLINE void write_dr3(uint64_t val) in write_dr3() function