Home | History | Annotate | Download | only in x86

Lines Matching defs:machgen

2172 	uint64_t machgen;
2174 	machgen = machdata->mach_htlb_gen;
2175 	if (__predict_true(machgen == cpudata->vcpu_htlb_gen)) {
2176 		return machgen;
2185 	return machgen;
2189 vmx_htlb_flush_ack(struct vmx_cpudata *cpudata, uint64_t machgen)
2191 	cpudata->vcpu_htlb_gen = machgen;
2233 	uint64_t machgen;
2281 		machgen = vmx_htlb_flush(machdata, cpudata);
2289 		vmx_htlb_flush_ack(cpudata, machgen);