378 					    uint64_t size, uint64_t attributes)  in vm_set_memory_attributes()
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