Searched refs:machgen (Results 1 – 2 of 2) sorted by relevance
1485 uint64_t machgen; in svm_htlb_flush() local1488 machgen = ((struct svm_machdata *)mach->machdata)->mach_htlb_gen; in svm_htlb_flush()1491 machgen = vmspace_pmap(mach->vm)->pm_invgen; in svm_htlb_flush()1493 if (__predict_true(machgen == cpudata->vcpu_htlb_gen)) { in svm_htlb_flush()1494 return machgen; in svm_htlb_flush()1499 return machgen; in svm_htlb_flush()1503 svm_htlb_flush_ack(struct svm_cpudata *cpudata, uint64_t machgen) in svm_htlb_flush_ack() argument1508 cpudata->vcpu_htlb_gen = machgen; in svm_htlb_flush_ack()1531 uint64_t machgen; in svm_vcpu_run() local1583 machgen = svm_htlb_flush(mach, cpudata); in svm_vcpu_run()[all …]
2184 uint64_t machgen; in vmx_htlb_flush() local2190 machgen = vmspace_pmap(mach->vm)->pm_invgen; in vmx_htlb_flush()2192 if (__predict_true(machgen == cpudata->vcpu_htlb_gen)) { in vmx_htlb_flush()2193 return machgen; in vmx_htlb_flush()2202 return machgen; in vmx_htlb_flush()2208 cpudata->vcpu_htlb_gen = machgen; in vmx_htlb_flush_ack()2248 uint64_t machgen; in vmx_vcpu_run() local2307 machgen = vmx_htlb_flush(mach, cpudata); in vmx_vcpu_run()2322 vmx_htlb_flush_ack(cpudata, machgen); in vmx_vcpu_run()2336 vmx_htlb_flush_ack(cpudata, machgen); in vmx_vcpu_run()[all …]