| 94 | int vmm_stat_desc_copy(int index, char *buf, int buflen); |
| 95 | |
| 96 | static void __inline |
| 97 | vmm_stat_array_incr(struct vm *vm, int vcpu, struct vmm_stat_type *vst, |
| 98 | int statidx, uint64_t x) |
| 99 | { |
| 100 | #ifdef VMM_KEEP_STATS |
| 101 | uint64_t *stats; |
| 102 | |
| 103 | stats = vcpu_stats(vm, vcpu); |
| 104 | |
| 105 | if (vst->index >= 0 && statidx < vst->nelems) |
| 106 | stats[vst->index + statidx] += x; |
| 107 | #endif |
| 108 | } |
| 109 | |
| 110 | static void __inline |
| 111 | vmm_stat_array_set(struct vm *vm, int vcpu, struct vmm_stat_type *vst, |
no test coverage detected