Symbol: VMCB_OFF_ASID
sys/amd64/vmm/amd/svm.c
2706
VMCB_ACCESS(VMCB_OFF_ASID, 4), meta);
usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c
1788
error = vm_get_vmcb_field(vcpu, VMCB_OFF_ASID, 4,