vmm_stat_type
vm_get_rescnt(struct vcpu *vcpu, struct vmm_stat_type *stat)
vm_get_wiredcnt(struct vcpu *vcpu, struct vmm_stat_type *stat)
struct vmm_stat_type *vst;
static struct vmm_stat_type *vsttab[MAX_VMM_STAT_ELEMS];
struct vmm_stat_type *vst = arg;
struct vmm_stat_type *vst;
vmm_stat_array_set(struct vcpu *vcpu, struct vmm_stat_type *vst, int statidx,
vmm_stat_incr(struct vcpu *vcpu, struct vmm_stat_type *vst, uint64_t x)
vmm_stat_set(struct vcpu *vcpu, struct vmm_stat_type *vst, uint64_t val)
struct vmm_stat_type;
struct vmm_stat_type *stat);
struct vmm_stat_type type[1] = { \
extern struct vmm_stat_type type[1]
vmm_stat_array_incr(struct vcpu *vcpu, struct vmm_stat_type *vst, int statidx,