Searched refs:x86_get_dr3 (Results 1 – 3 of 3) sorted by relevance
785 #define x86_get_dr3() rdr3() macro829 #define x86_get_dr3() rdr3() macro
1427 cpudata->drs[NVMM_X64_DR_DR3] = x86_get_dr3(); in svm_vcpu_guest_dbregs_leave()
2108 cpudata->drs[NVMM_X64_DR_DR3] = x86_get_dr3(); in vmx_vcpu_guest_dbregs_leave()