259 static inline bool kvm_has_cap(long cap)  in kvm_has_cap()
356 static inline int vm_check_cap(struct kvm_vm *vm, long cap)  in vm_check_cap()
364 static inline int __vm_enable_cap(struct kvm_vm *vm, uint32_t cap, uint64_t arg0)  in __vm_enable_cap()
370 static inline void vm_enable_cap(struct kvm_vm *vm, uint32_t cap, uint64_t arg0)  in vm_enable_cap()
618 #define vcpu_arch_put_guest(mem, val) do { (mem) = (val); } while (0)  argument
637 static inline void vcpu_enable_cap(struct kvm_vcpu *vcpu, uint32_t cap,  in vcpu_enable_cap()
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