Searched refs:vvcc_vcpuid (Results 1 – 3 of 3) sorted by relevance
130 .vvcc_vcpuid = 0, in main()
222 .vvcc_vcpuid = 0, in main()
454 int vvcc_vcpuid; member