38 static void set_msr_platform_info_enabled(struct kvm_vm *vm, bool enable)  in set_msr_platform_info_enabled()  argument
45 	vm_enable_cap(vm, &cap);  in set_msr_platform_info_enabled()
48 static void test_msr_platform_info_enabled(struct kvm_vm *vm)  in test_msr_platform_info_enabled()  argument
50 	struct kvm_run *run = vcpu_state(vm, VCPU_ID);  in test_msr_platform_info_enabled()
53 	set_msr_platform_info_enabled(vm, true);  in test_msr_platform_info_enabled()
54 	vcpu_run(vm, VCPU_ID);  in test_msr_platform_info_enabled()
59 	guest_args_read(vm, VCPU_ID, &args);  in test_msr_platform_info_enabled()
69 static void test_msr_platform_info_disabled(struct kvm_vm *vm)  in test_msr_platform_info_disabled()  argument
71 	struct kvm_run *run = vcpu_state(vm, VCPU_ID);  in test_msr_platform_info_disabled()
73 	set_msr_platform_info_enabled(vm, false);  in test_msr_platform_info_disabled()
74 	vcpu_run(vm, VCPU_ID);  in test_msr_platform_info_disabled()
83 	struct kvm_vm *vm;  in main()  local
98 	vm = vm_create_default(VCPU_ID, 0, guest_code);  in main()
100 	msr_platform_info = vcpu_get_msr(vm, VCPU_ID, MSR_PLATFORM_INFO);  in main()
101 	vcpu_set_msr(vm, VCPU_ID, MSR_PLATFORM_INFO,  in main()
103 	test_msr_platform_info_disabled(vm);  in main()
104 	test_msr_platform_info_enabled(vm);  in main()
105 	vcpu_set_msr(vm, VCPU_ID, MSR_PLATFORM_INFO, msr_platform_info);  in main()
107 	kvm_vm_free(vm);  in main()