Searched defs:machgen (Results 1 – 2 of 2) sorted by relevance
1483 uint64_t machgen; in svm_htlb_flush() local1495 svm_htlb_flush_ack(struct svm_cpudata *cpudata, uint64_t machgen) in svm_htlb_flush_ack()1523 uint64_t machgen; in svm_vcpu_run() local
2136 uint64_t machgen; in vmx_htlb_flush() local2153 vmx_htlb_flush_ack(struct vmx_cpudata *cpudata, uint64_t machgen) in vmx_htlb_flush_ack()2197 uint64_t machgen; in vmx_vcpu_run() local