277 #define kvm_do_ioctl(fd, cmd, arg)						\  argument
283 #define __kvm_ioctl(kvm_fd, cmd, arg)				\  argument
286 #define kvm_ioctl(kvm_fd, cmd, arg)				\  argument
295 #define __vm_ioctl(vm, cmd, arg)				\  argument
327 #define TEST_ASSERT_VM_VCPU_IOCTL(cond, cmd, ret, vm)		\  argument
330 #define vm_ioctl(vm, cmd, arg)					\  argument
339 #define __vcpu_ioctl(vcpu, cmd, arg)				\  argument
345 #define vcpu_ioctl(vcpu, cmd, arg)				\  argument
618 #define vcpu_arch_put_guest(mem, val) do { (mem) = (val); } while (0)  argument
699 static inline int __vcpu_set_reg(struct kvm_vcpu *vcpu, uint64_t id, uint64_t val)  in __vcpu_set_reg()
707 	uint64_t val;  in vcpu_get_reg()  local
715 static inline void vcpu_set_reg(struct kvm_vcpu *vcpu, uint64_t id, uint64_t val)  in vcpu_set_reg()
774 				       uint64_t attr, void *val)  in kvm_device_attr_get()
784 				       uint64_t attr, void *val)  in kvm_device_attr_set()
804 					 uint64_t attr, void *val)  in __vcpu_device_attr_get()
810 					uint64_t attr, void *val)  in vcpu_device_attr_get()
816 					 uint64_t attr, void *val)  in __vcpu_device_attr_set()
822 					uint64_t attr, void *val)  in vcpu_device_attr_set()
1003 #define write_guest_global(vm, g, val) ({			\  argument