Symbol: flush_asid
usr/src/uts/intel/io/vmm/amd/svm.c
110
static void flush_asid(struct svm_softc *sc, int vcpuid);
usr/src/uts/intel/io/vmm/amd/svm.c
749
flush_asid(svm_sc, vcpu);