643 static inline int kvmhv_nestedv2_mark_dirty(struct kvm_vcpu *vcpu, u16 iden)  in kvmhv_nestedv2_mark_dirty()  argument
648 static inline int kvmhv_nestedv2_cached_reload(struct kvm_vcpu *vcpu, u16 iden)  in kvmhv_nestedv2_cached_reload()  argument
977 #define KVMPPC_VCPU_SHARED_REGS_ACCESSOR_GET(reg, size, iden)		\  argument
980 	if (iden)							\
981 		WARN_ON(kvmhv_nestedv2_cached_reload(vcpu, iden) < 0);	\
988 #define KVMPPC_VCPU_SHARED_REGS_ACCESSOR_SET(reg, size, iden)		\  argument
996 	if (iden)							\
997 		kvmhv_nestedv2_mark_dirty(vcpu, iden);			\
1000 #define KVMPPC_VCPU_SHARED_REGS_ACCESSOR(reg, size, iden)		\  argument
1001 	KVMPPC_VCPU_SHARED_REGS_ACCESSOR_GET(reg, size, iden)		\
1002 	KVMPPC_VCPU_SHARED_REGS_ACCESSOR_SET(reg, size, iden)		\
1010 #define KVMPPC_BOOKE_HV_SPRNG_OR_VCPU_SHARED_REGS_ACCESSOR(reg, size, bookehv_spr, iden)	\  argument
1015 #define KVMPPC_BOOKE_HV_SPRNG_OR_VCPU_SHARED_REGS_ACCESSOR(reg, size, bookehv_spr, iden)	\  argument
1016 	KVMPPC_VCPU_SHARED_REGS_ACCESSOR(reg, size, iden)		\