Home
last modified time | relevance | path

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

/f-stack/freebsd/amd64/vmm/amd/
H A Dvmcb.c292 svm_set_dirty(sc, vcpu, VMCB_CACHE_DR); in vmcb_write()
297 svm_set_dirty(sc, vcpu, VMCB_CACHE_DR); in vmcb_write()
H A Dvmcb.h112 #define VMCB_CACHE_DR BIT(6) /* Debug registers */ macro
H A Dsvm.c98 VMCB_CACHE_DR | \