797 #define __build_check_flag(v, flagset, f, m)			\  argument
799 		typeof(v->arch.flagset) *_fset;			\
807 #define __vcpu_get_flag(v, flagset, f, m)			\  argument
809 		__build_check_flag(v, flagset, f, m);		\
811 		READ_ONCE(v->arch.flagset) & (m);		\
827 #define __vcpu_set_flag(v, flagset, f, m)			\  argument
829 		typeof(v->arch.flagset) *fset;			\
831 		__build_check_flag(v, flagset, f, m);		\
833 		fset = &v->arch.flagset;			\
841 #define __vcpu_clear_flag(v, flagset, f, m)			\  argument
843 		typeof(v->arch.flagset) *fset;			\
845 		__build_check_flag(v, flagset, f, m);		\
847 		fset = &v->arch.flagset;			\