Home | History | Annotate | Download | only in x86

Lines Matching defs:machgen

1520 	uint64_t machgen;
1522 	machgen = machdata->mach_htlb_gen;
1523 	if (__predict_true(machgen == cpudata->vcpu_htlb_gen)) {
1524 		return machgen;
1528 	return machgen;
1532 svm_htlb_flush_ack(struct svm_cpudata *cpudata, uint64_t machgen)
1537 		cpudata->vcpu_htlb_gen = machgen;
1560 	uint64_t machgen;
1598 		machgen = svm_htlb_flush(machdata, cpudata);
1600 		svm_htlb_flush_ack(cpudata, machgen);