Symbol: rdr3
sys/arch/x86/x86/dbregs.c
161
pcb->pcb_dbregs->dr[3] = rdr3();
sys/arch/x86/x86/dbregs.c
242
if (rdr3() < (vaddr_t)VM_MAXUSER_ADDRESS)
sys/arch/x86/x86/dbregs.c
63
initdbstate.dr[3] = rdr3();
sys/dev/nvmm/x86/nvmm_x86_svm.c
1617
cpudata->drs[NVMM_X64_DR_DR3] = rdr3();
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2267
cpudata->drs[NVMM_X64_DR_DR3] = rdr3();