sys/amd64/vmm/amd/svm.c

1063

svm_set_dirty(vcpu, VMCB_CACHE_TPR);

sys/amd64/vmm/amd/svm.c

1083

svm_set_dirty(vcpu, VMCB_CACHE_TPR);

sys/amd64/vmm/amd/svm.c

1902

svm_set_dirty(vcpu, VMCB_CACHE_TPR);

sys/amd64/vmm/amd/svm.c

2030

svm_set_dirty(vcpu, VMCB_CACHE_ASID);

sys/amd64/vmm/amd/svm.c

2157

svm_set_dirty(vcpu, 0xffffffff);

sys/amd64/vmm/amd/svm.c

2813

svm_set_dirty(vcpu, 0xffffffff);

sys/amd64/vmm/amd/svm.c

303

svm_set_dirty(vcpu, VMCB_CACHE_I);

sys/amd64/vmm/amd/svm.c

446

svm_set_dirty(vcpu, VMCB_CACHE_I);

sys/amd64/vmm/amd/vmcb.c

153

svm_set_dirty(vcpu, 0xffffffff);

sys/amd64/vmm/amd/vmcb.c

286

svm_set_dirty(vcpu, VMCB_CACHE_CR);

sys/amd64/vmm/amd/vmcb.c

291

svm_set_dirty(vcpu, VMCB_CACHE_CR2);

sys/amd64/vmm/amd/vmcb.c

296

svm_set_dirty(vcpu, VMCB_CACHE_CR);

sys/amd64/vmm/amd/vmcb.c

301

svm_set_dirty(vcpu, VMCB_CACHE_CR);

sys/amd64/vmm/amd/vmcb.c

306

svm_set_dirty(vcpu, VMCB_CACHE_DR);

sys/amd64/vmm/amd/vmcb.c

311

svm_set_dirty(vcpu, VMCB_CACHE_DR);

sys/amd64/vmm/amd/vmcb.c

317

svm_set_dirty(vcpu, VMCB_CACHE_CR);

sys/amd64/vmm/amd/vmcb.c

350

svm_set_dirty(vcpu, VMCB_CACHE_SEG);

sys/amd64/vmm/amd/vmcb.c

417

svm_set_dirty(vcpu, VMCB_CACHE_SEG);

sys/amd64/vmm/amd/vmcb.c

421

svm_set_dirty(vcpu, VMCB_CACHE_DT);