Searched refs:vcpu_device_attr_get (Results 1 – 2 of 2) sorted by relevance
351 vcpu_device_attr_get(vcpus[0], KVM_ARM_VCPU_TIMER_CTRL, in test_init_timer_irq()353 vcpu_device_attr_get(vcpus[0], KVM_ARM_VCPU_TIMER_CTRL, in test_init_timer_irq()
574 static inline void vcpu_device_attr_get(struct kvm_vcpu *vcpu, uint32_t group, in vcpu_device_attr_get() function