| /src/sys/dev/nvmm/x86/ |
| nvmm_x86_svm.c | 1520 uint64_t machgen; local in function:svm_htlb_flush
1522 machgen = machdata->mach_htlb_gen;
1523 if (__predict_true(machgen == cpudata->vcpu_htlb_gen)) {
1524 return machgen;
1528 return machgen;
1532 svm_htlb_flush_ack(struct svm_cpudata *cpudata, uint64_t machgen)
1537 cpudata->vcpu_htlb_gen = machgen;
1560 uint64_t machgen; local in function:svm_vcpu_run
1598 machgen = svm_htlb_flush(machdata, cpudata);
1600 svm_htlb_flush_ack(cpudata, machgen);
[all...] |
| nvmm_x86_svm.c | 1520 uint64_t machgen; local in function:svm_htlb_flush
1522 machgen = machdata->mach_htlb_gen;
1523 if (__predict_true(machgen == cpudata->vcpu_htlb_gen)) {
1524 return machgen;
1528 return machgen;
1532 svm_htlb_flush_ack(struct svm_cpudata *cpudata, uint64_t machgen)
1537 cpudata->vcpu_htlb_gen = machgen;
1560 uint64_t machgen; local in function:svm_vcpu_run
1598 machgen = svm_htlb_flush(machdata, cpudata);
1600 svm_htlb_flush_ack(cpudata, machgen);
[all...] |
| nvmm_x86_svm.c | 1520 uint64_t machgen; local in function:svm_htlb_flush
1522 machgen = machdata->mach_htlb_gen;
1523 if (__predict_true(machgen == cpudata->vcpu_htlb_gen)) {
1524 return machgen;
1528 return machgen;
1532 svm_htlb_flush_ack(struct svm_cpudata *cpudata, uint64_t machgen)
1537 cpudata->vcpu_htlb_gen = machgen;
1560 uint64_t machgen; local in function:svm_vcpu_run
1598 machgen = svm_htlb_flush(machdata, cpudata);
1600 svm_htlb_flush_ack(cpudata, machgen);
[all...] |
| nvmm_x86_vmx.c | 2172 uint64_t machgen; local in function:vmx_htlb_flush
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; local in function:vmx_vcpu_run
2281 machgen = vmx_htlb_flush(machdata, cpudata);
2289 vmx_htlb_flush_ack(cpudata, machgen);
[all...] |
| nvmm_x86_vmx.c | 2172 uint64_t machgen; local in function:vmx_htlb_flush
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; local in function:vmx_vcpu_run
2281 machgen = vmx_htlb_flush(machdata, cpudata);
2289 vmx_htlb_flush_ack(cpudata, machgen);
[all...] |
| nvmm_x86_vmx.c | 2172 uint64_t machgen; local in function:vmx_htlb_flush
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; local in function:vmx_vcpu_run
2281 machgen = vmx_htlb_flush(machdata, cpudata);
2289 vmx_htlb_flush_ack(cpudata, machgen);
[all...] |
