Searched refs:vvk_vcpu (Results 1 – 3 of 3) sorted by relevance
490 kstat_named_t vvk_vcpu; member
2891 kstat_named_init(&vvk->vvk_vcpu, "vcpu", KSTAT_DATA_UINT32); in vmm_kstat_init()2892 vvk->vvk_vcpu.value.ui32 = i; in vmm_kstat_init()
3925 const int vcpuid = vvk->vvk_vcpu.value.ui32; in vmm_kstat_update_vcpu()