68 #define KVMPPC_BOOK3S_HV_VCPU_ACCESSOR_SET(reg, size, iden)		\  argument
72 	kvmhv_nestedv2_mark_dirty(vcpu, iden);				\
75 #define KVMPPC_BOOK3S_HV_VCPU_ACCESSOR_GET(reg, size, iden)		\  argument
78 	kvmhv_nestedv2_cached_reload(vcpu, iden);			\
82 #define KVMPPC_BOOK3S_HV_VCPU_ACCESSOR(reg, size, iden)			\  argument
83 	KVMPPC_BOOK3S_HV_VCPU_ACCESSOR_SET(reg, size, iden)		\
84 	KVMPPC_BOOK3S_HV_VCPU_ACCESSOR_GET(reg, size, iden)		\
86 #define KVMPPC_BOOK3S_HV_VCPU_ARRAY_ACCESSOR_SET(reg, size, iden)	\  argument
90 	kvmhv_nestedv2_mark_dirty(vcpu, iden(i));			\
93 #define KVMPPC_BOOK3S_HV_VCPU_ARRAY_ACCESSOR_GET(reg, size, iden)	\  argument
96 	WARN_ON(kvmhv_nestedv2_cached_reload(vcpu, iden(i)) < 0);	\
100 #define KVMPPC_BOOK3S_HV_VCPU_ARRAY_ACCESSOR(reg, size, iden)		\  argument
101 	KVMPPC_BOOK3S_HV_VCPU_ARRAY_ACCESSOR_SET(reg, size, iden)	\
102 	KVMPPC_BOOK3S_HV_VCPU_ARRAY_ACCESSOR_GET(reg, size, iden)	\