ldr6
ldr6(pcb->pcb_dbregs->dr[6]);
ldr6(rdr6() & ~X86_BREAKPOINT_CONDITION_DETECTED);
ldr6(cpudata->drs[NVMM_X64_DR_DR6]);