Searched defs:machgen (Results 1 – 2 of 2) sorted by relevance
1485 uint64_t machgen; in svm_htlb_flush() local1503 svm_htlb_flush_ack(struct svm_cpudata *cpudata, uint64_t machgen) in svm_htlb_flush_ack()1531 uint64_t machgen; in svm_vcpu_run() local
2184 uint64_t machgen; in vmx_htlb_flush() local2206 vmx_htlb_flush_ack(struct vmx_cpudata *cpudata, uint64_t machgen) in vmx_htlb_flush_ack()2248 uint64_t machgen; in vmx_vcpu_run() local