Searched refs:vcpu_device_attr_set (Results 1 – 3 of 3) sorted by relevance
38 vcpu_device_attr_set(vcpu, KVM_VCPU_TSC_CTRL, KVM_VCPU_TSC_OFFSET, in setup_system_counter()
162 vcpu_device_attr_set(vcpu, KVM_ARM_VCPU_PVTIME_CTRL, in steal_time_init()
815 static inline void vcpu_device_attr_set(struct kvm_vcpu *vcpu, uint32_t group, in vcpu_device_attr_set() function