Symbol: VMCB_CACHE_CR2
sys/amd64/vmm/amd/svm.c
98
VMCB_CACHE_CR2 | \
sys/amd64/vmm/amd/vmcb.c
291
svm_set_dirty(vcpu, VMCB_CACHE_CR2);