Symbol: VMCB_CACHE_ASID
sys/amd64/vmm/amd/svm.c
2030
svm_set_dirty(vcpu, VMCB_CACHE_ASID);
sys/amd64/vmm/amd/svm.c
94
#define VMCB_CACHE_DEFAULT (VMCB_CACHE_ASID | \