Searched refs:rdr3 (Results 1 – 4 of 4) sorted by relevance
785 #define x86_get_dr3() rdr3()807 drs[NVMM_X64_DR_DR3] = rdr3(); in x86_curthread_save_dbregs()829 #define x86_get_dr3() rdr3()
841 rdr3(void) in rdr3() function982 u_int64_t rdr3(void);
843 addr[nbp++] = (caddr_t)rdr3();
3103 dbregs->dr[3] = rdr3(); in fill_dbregs()3269 addr[nbp++] = (caddr_t)rdr3(); in user_dbreg_trap()