944 #define __build_check_flag(v, flagset, f, m)			\  argument
946 		typeof(v->arch.flagset) *_fset;			\
954 #define __vcpu_get_flag(v, flagset, f, m)			\  argument
956 		__build_check_flag(v, flagset, f, m);		\
958 		READ_ONCE(v->arch.flagset) & (m);		\
974 #define __vcpu_set_flag(v, flagset, f, m)			\  argument
976 		typeof(v->arch.flagset) *fset;			\
978 		__build_check_flag(v, flagset, f, m);		\
980 		fset = &v->arch.flagset;			\
988 #define __vcpu_clear_flag(v, flagset, f, m)			\  argument
990 		typeof(v->arch.flagset) *fset;			\
992 		__build_check_flag(v, flagset, f, m);		\
994 		fset = &v->arch.flagset;			\
1000 #define __vcpu_test_and_clear_flag(v, flagset, f, m)		\  argument
1002 		typeof(v->arch.flagset) set;			\
1004 		set = __vcpu_get_flag(v, flagset, f, m);	\
1005 		__vcpu_clear_flag(v, flagset, f, m);		\