Home | History | Annotate | Download | only in 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;