Symbol: vcpu_device_attr_get
tools/testing/selftests/kvm/include/arm64/arch_timer.h
165
vcpu_device_attr_get(vcpu, KVM_ARM_VCPU_TIMER_CTRL, attr, &intid);
tools/testing/selftests/kvm/include/arm64/arch_timer.h
177
vcpu_device_attr_get(vcpu, KVM_ARM_VCPU_TIMER_CTRL, attr, &intid);