110 static void flush_asid(struct svm_softc *sc, int vcpuid);
1777 check_asid(struct svm_softc *sc, int vcpuid, uint_t thiscpu, uint64_t nptgen)  in check_asid()  argument
1779 	struct svm_vcpu *vcpustate = svm_get_vcpu(sc, vcpuid);  in check_asid()
1780 	struct vmcb_ctrl *ctrl = svm_get_vmcb_ctrl(sc, vcpuid);  in check_asid()
1788 		svm_set_dirty(sc, vcpuid, VMCB_CACHE_ASID);  in check_asid()
1795 flush_asid(struct svm_softc *sc, int vcpuid)  in flush_asid()  argument
1797 	struct svm_vcpu *vcpustate = svm_get_vcpu(sc, vcpuid);  in flush_asid()
1798 	struct vmcb_ctrl *ctrl = svm_get_vmcb_ctrl(sc, vcpuid);  in flush_asid()
1810 	svm_set_dirty(sc, vcpuid, VMCB_CACHE_ASID);  in flush_asid()
1876 svm_apply_tsc_adjust(struct svm_softc *svm_sc, int vcpuid)  in svm_apply_tsc_adjust()  argument
1878 	const uint64_t offset = vcpu_tsc_offset(svm_sc->vm, vcpuid, true);  in svm_apply_tsc_adjust()
1879 	struct vmcb_ctrl *ctrl = svm_get_vmcb_ctrl(svm_sc, vcpuid);  in svm_apply_tsc_adjust()
1883 		svm_set_dirty(svm_sc, vcpuid, VMCB_CACHE_I);  in svm_apply_tsc_adjust()
2529 svm_vlapic_init(void *arg, int vcpuid)  in svm_vlapic_init()  argument
2537 	vlapic->vcpuid = vcpuid;  in svm_vlapic_init()
2538 	vlapic->apic_page = (struct LAPIC *)&svm_sc->apic_page[vcpuid];  in svm_vlapic_init()