Symbol: rdr1
sys/arch/x86/x86/dbregs.c
159
pcb->pcb_dbregs->dr[1] = rdr1();
sys/arch/x86/x86/dbregs.c
234
if (rdr1() < (vaddr_t)VM_MAXUSER_ADDRESS)
sys/arch/x86/x86/dbregs.c
61
initdbstate.dr[1] = rdr1();
sys/dev/nvmm/x86/nvmm_x86_svm.c
1615
cpudata->drs[NVMM_X64_DR_DR1] = rdr1();
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2265
cpudata->drs[NVMM_X64_DR_DR1] = rdr1();