Searched refs:vdx_vcpuid (Results 1 – 7 of 7) sorted by relevance
148 .vdx_vcpuid = -1, in test_vm_classes()205 .vdx_vcpuid = 0, in test_vcpu_classes()284 vdx.vdx_vcpuid); in test_vcpuid_combos()292 vdx.vdx_vcpuid = 0; in test_vcpuid_combos()307 vdx.vdx_vcpuid = 0; in test_vcpuid_combos()356 vdx.vdx_vcpuid = -1; in test_vcpuid_time()362 vdx.vdx_vcpuid = 0; in test_vcpuid_time()365 vdx.vdx_vcpuid); in test_vcpuid_time()376 vdx.vdx_vcpuid = -1; in test_vcpuid_time()380 vdx.vdx_vcpuid = 0; in test_vcpuid_time()[all …]
50 .vdx_vcpuid = 0, in test_ccr_clamp()120 .vdx_vcpuid = 0, in test_timer_icr_constraints()
42 .vdx_vcpuid = -1, in check_paused()
109 .vdx_vcpuid = 0, in main()
444 int vdx_vcpuid; member
1851 .vdr_vcpuid = vdx.vdx_vcpuid, in vmmdev_do_ioctl()1910 .vdr_vcpuid = vdx.vdx_vcpuid, in vmmdev_do_ioctl()
1681 .vdx_vcpuid = vcpu_id(vcpu), in show_msrs()