594 int __kvm_has_device_attr(int dev_fd, uint32_t group, uint64_t attr);
596 static inline void kvm_has_device_attr(int dev_fd, uint32_t group, uint64_t attr)  in kvm_has_device_attr()  argument
598 	int ret = __kvm_has_device_attr(dev_fd, group, attr);  in kvm_has_device_attr()
603 int __kvm_device_attr_get(int dev_fd, uint32_t group, uint64_t attr, void *val);
605 static inline void kvm_device_attr_get(int dev_fd, uint32_t group,  in kvm_device_attr_get()  argument
608 	int ret = __kvm_device_attr_get(dev_fd, group, attr, val);  in kvm_device_attr_get()
613 int __kvm_device_attr_set(int dev_fd, uint32_t group, uint64_t attr, void *val);
615 static inline void kvm_device_attr_set(int dev_fd, uint32_t group,  in kvm_device_attr_set()  argument
618 	int ret = __kvm_device_attr_set(dev_fd, group, attr, val);  in kvm_device_attr_set()
623 static inline int __vcpu_has_device_attr(struct kvm_vcpu *vcpu, uint32_t group,  in __vcpu_has_device_attr()  argument
626 	return __kvm_has_device_attr(vcpu->fd, group, attr);  in __vcpu_has_device_attr()
629 static inline void vcpu_has_device_attr(struct kvm_vcpu *vcpu, uint32_t group,  in vcpu_has_device_attr()  argument
632 	kvm_has_device_attr(vcpu->fd, group, attr);  in vcpu_has_device_attr()
635 static inline int __vcpu_device_attr_get(struct kvm_vcpu *vcpu, uint32_t group,  in __vcpu_device_attr_get()  argument
638 	return __kvm_device_attr_get(vcpu->fd, group, attr, val);  in __vcpu_device_attr_get()
641 static inline void vcpu_device_attr_get(struct kvm_vcpu *vcpu, uint32_t group,  in vcpu_device_attr_get()  argument
644 	kvm_device_attr_get(vcpu->fd, group, attr, val);  in vcpu_device_attr_get()
647 static inline int __vcpu_device_attr_set(struct kvm_vcpu *vcpu, uint32_t group,  in __vcpu_device_attr_set()  argument
650 	return __kvm_device_attr_set(vcpu->fd, group, attr, val);  in __vcpu_device_attr_set()
653 static inline void vcpu_device_attr_set(struct kvm_vcpu *vcpu, uint32_t group,  in vcpu_device_attr_set()  argument
656 	kvm_device_attr_set(vcpu->fd, group, attr, val);  in vcpu_device_attr_set()