Searched refs:rdr3 (Results 1 – 6 of 6) sorted by relevance
621 rdr3(void) in rdr3() function775 u_int rdr3(void);
796 rdr3(void) in rdr3() function951 uint64_t rdr3(void);
916 db_printf("dr3\t0x%016lx\n", rdr3()); in DB_SHOW_COMMAND()2407 dbregs->dr[3] = rdr3(); in fill_dbregs()2575 addr[nbp++] = (caddr_t)rdr3(); in user_dbreg_trap()
1924 gctx->host_dr3 = rdr3(); in svm_dr_enter_guest()1942 gctx->sctx_dr3 = rdr3(); in svm_dr_leave_guest()
1600 db_printf("dr3\t0x%08x\n", rdr3()); in DB_SHOW_COMMAND()3233 dbregs->dr[3] = rdr3(); in fill_dbregs()3383 addr[nbp++] = (caddr_t)rdr3(); in user_dbreg_trap()
2810 vmxctx->host_dr3 = rdr3(); in vmx_dr_enter_guest()2829 vmxctx->guest_dr3 = rdr3(); in vmx_dr_leave_guest()