353 int __kvmhv_nestedv2_mark_dirty(struct kvm_vcpu *vcpu, u16 iden);
354 int __kvmhv_nestedv2_cached_reload(struct kvm_vcpu *vcpu, u16 iden);
371 static inline int kvmhv_nestedv2_mark_dirty(struct kvm_vcpu *vcpu, u16 iden)  in kvmhv_nestedv2_mark_dirty()  argument
374 		return __kvmhv_nestedv2_mark_dirty(vcpu, iden);  in kvmhv_nestedv2_mark_dirty()
378 static inline int kvmhv_nestedv2_cached_reload(struct kvm_vcpu *vcpu, u16 iden)  in kvmhv_nestedv2_cached_reload()  argument
381 		return __kvmhv_nestedv2_cached_reload(vcpu, iden);  in kvmhv_nestedv2_cached_reload()
549 #define KVMPPC_BOOK3S_VCPU_ACCESSOR_SET(reg, size, iden)		\  argument
554 	kvmhv_nestedv2_mark_dirty(vcpu, iden);				\
557 #define KVMPPC_BOOK3S_VCPU_ACCESSOR_GET(reg, size, iden)		\  argument
560 	WARN_ON(kvmhv_nestedv2_cached_reload(vcpu, iden) < 0);		\
564 #define KVMPPC_BOOK3S_VCPU_ACCESSOR(reg, size, iden)			\  argument
565 	KVMPPC_BOOK3S_VCPU_ACCESSOR_SET(reg, size, iden)		\
566 	KVMPPC_BOOK3S_VCPU_ACCESSOR_GET(reg, size, iden)		\
577 #define KVMPPC_BOOK3S_VCORE_ACCESSOR_SET(reg, size, iden)		\  argument
581 	kvmhv_nestedv2_mark_dirty(vcpu, iden);				\
584 #define KVMPPC_BOOK3S_VCORE_ACCESSOR_GET(reg, size, iden)		\  argument
587 	WARN_ON(kvmhv_nestedv2_cached_reload(vcpu, iden) < 0);		\
591 #define KVMPPC_BOOK3S_VCORE_ACCESSOR(reg, size, iden)			\  argument
592 	KVMPPC_BOOK3S_VCORE_ACCESSOR_SET(reg, size, iden)		\
593 	KVMPPC_BOOK3S_VCORE_ACCESSOR_GET(reg, size, iden)		\