Searched defs:vvk (Results 1 – 2 of 2) sorted by relevance
2889 vmm_vcpu_kstats_t *vvk = ksp->ks_data; in vmm_kstat_init() local
3924 vmm_vcpu_kstats_t *vvk = ksp->ks_data; in vmm_kstat_update_vcpu() local