| 108 | } |
| 109 | |
| 110 | static void __inline |
| 111 | vmm_stat_array_set(struct vm *vm, int vcpu, struct vmm_stat_type *vst, |
| 112 | int statidx, uint64_t val) |
| 113 | { |
| 114 | #ifdef VMM_KEEP_STATS |
| 115 | uint64_t *stats; |
| 116 | |
| 117 | stats = vcpu_stats(vm, vcpu); |
| 118 | |
| 119 | if (vst->index >= 0 && statidx < vst->nelems) |
| 120 | stats[vst->index + statidx] = val; |
| 121 | #endif |
| 122 | } |
| 123 | |
| 124 | static void __inline |
| 125 | vmm_stat_incr(struct vm *vm, int vcpu, struct vmm_stat_type *vst, uint64_t x) |
no test coverage detected