Searched refs:svm_set_dirty (Results 1 – 3 of 3) sorted by relevance
/freebsd/sys/amd64/vmm/amd/ |
H A D | vmcb.c | 153 svm_set_dirty(vcpu, 0xffffffff); in vmcb_access() 286 svm_set_dirty(vcpu, VMCB_CACHE_CR); in vmcb_write() 291 svm_set_dirty(vcpu, VMCB_CACHE_CR2); in vmcb_write() 296 svm_set_dirty(vcpu, VMCB_CACHE_CR); in vmcb_write() 301 svm_set_dirty(vcpu, VMCB_CACHE_CR); in vmcb_write() 306 svm_set_dirty(vcpu, VMCB_CACHE_DR); in vmcb_write() 311 svm_set_dirty(vcpu, VMCB_CACHE_DR); in vmcb_write() 317 svm_set_dirty(vcpu, VMCB_CACHE_CR); in vmcb_write() 350 svm_set_dirty(vcpu, VMCB_CACHE_SEG); in vmcb_write() 417 svm_set_dirty(vcpu, VMCB_CACHE_SEG); in vmcb_setdesc() [all …]
|
H A D | svm_softc.h | 121 svm_set_dirty(struct svm_vcpu *vcpu, uint32_t dirtybits) in svm_set_dirty() function
|
H A D | svm.c | 301 svm_set_dirty(vcpu, VMCB_CACHE_I); in svm_set_tsc_offset() 417 svm_set_dirty(vcpu, VMCB_CACHE_I); in svm_set_intercept() 1045 svm_set_dirty(vcpu, VMCB_CACHE_TPR); in enable_intr_window_exiting() 1065 svm_set_dirty(vcpu, VMCB_CACHE_TPR); in disable_intr_window_exiting() 1883 svm_set_dirty(vcpu, VMCB_CACHE_TPR); in svm_inj_interrupts() 2011 svm_set_dirty(vcpu, VMCB_CACHE_ASID); in svm_pmap_activate() 2138 svm_set_dirty(vcpu, 0xffffffff); in svm_run() 2794 svm_set_dirty(vcpu, 0xffffffff); in svm_vcpu_snapshot()
|