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);