Searched refs:VMCB_CACHE_DR (Results 1 - 3 of 3) sorted by relevance

/freebsd-11-stable/sys/amd64/vmm/amd/
H A Dvmcb.c289 svm_set_dirty(sc, vcpu, VMCB_CACHE_DR);
294 svm_set_dirty(sc, vcpu, VMCB_CACHE_DR);
H A Dvmcb.h114 #define VMCB_CACHE_DR BIT(6) /* Debug registers */ macro
H A Dsvm.c93 VMCB_CACHE_DR | \

Completed in 177 milliseconds