Symbol: svm_stash_intinfo
usr/src/uts/intel/io/vmm/amd/svm.c
2557
svm_stash_intinfo(sc, vcpu, intinfo);
usr/src/uts/intel/io/vmm/amd/svm.c
944
svm_stash_intinfo(svm_sc, vcpu, intinfo);