Searched refs:vcpu_device_attr_get (Results 1 – 2 of 2) sorted by relevance
165 vcpu_device_attr_get(vcpu, KVM_ARM_VCPU_TIMER_CTRL, attr, &intid); in vcpu_get_vtimer_irq()177 vcpu_device_attr_get(vcpu, KVM_ARM_VCPU_TIMER_CTRL, attr, &intid); in vcpu_get_ptimer_irq()
930 static inline void vcpu_device_attr_get(struct kvm_vcpu *vcpu, uint32_t group, in vcpu_device_attr_get() function