Symbol: rdr0
sys/arch/x86/x86/dbregs.c
158
pcb->pcb_dbregs->dr[0] = rdr0();
sys/arch/x86/x86/dbregs.c
230
if (rdr0() < (vaddr_t)VM_MAXUSER_ADDRESS)
sys/arch/x86/x86/dbregs.c
60
initdbstate.dr[0] = rdr0();
sys/dev/nvmm/x86/nvmm_x86_svm.c
1614
cpudata->drs[NVMM_X64_DR_DR0] = rdr0();
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2264
cpudata->drs[NVMM_X64_DR_DR0] = rdr0();