Home | History | Annotate | Download | only in x86

Lines Matching refs:hcpu

1496 svm_gtlb_catchup(struct nvmm_cpu *vcpu, int hcpu)
1500 	if (vcpu->hcpu_last != hcpu || cpudata->shared_asid) {
1506 svm_htlb_catchup(struct nvmm_cpu *vcpu, int hcpu)
1510 	 * executing on this hCPU and the hTLB already got flushed, or it
1511 	 * was executing on another hCPU in which case the catchup is done
1561 	int hcpu;
1571 	hcpu = cpu_number();
1573 	svm_gtlb_catchup(vcpu, hcpu);
1574 	svm_htlb_catchup(vcpu, hcpu);
1576 	if (vcpu->hcpu_last != hcpu) {
1609 			vcpu->hcpu_last = hcpu;