Cross Reference: /src/sys/dev/nvmm/x86/nvmm_x86

Lines Matching defs:hcpu

2143 vmx_gtlb_catchup(struct nvmm_cpu *vcpu, int hcpu)
2147 	if (vcpu->hcpu_last != hcpu) {
2153 vmx_htlb_catchup(struct nvmm_cpu *vcpu, int hcpu)
2158 	if (__predict_true(!kcpuset_isset(cpudata->htlb_want_flush, hcpu))) {
2165 	kcpuset_clear(cpudata->htlb_want_flush, hcpu);
2234 	int hcpu, ret;
2248 	hcpu = cpu_number();
2251 	vmx_gtlb_catchup(vcpu, hcpu);
2252 	vmx_htlb_catchup(vcpu, hcpu);
2254 	if (vcpu->hcpu_last != hcpu) {
2260 		vcpu->hcpu_last = hcpu;