facility_list     376 arch/s390/kvm/trace.h 	    TP_PROTO(VCPU_PROTO_COMMON, unsigned int facility_list),
facility_list     377 arch/s390/kvm/trace.h 	    TP_ARGS(VCPU_ARGS_COMMON, facility_list),
facility_list     381 arch/s390/kvm/trace.h 		    __field(unsigned int, facility_list)
facility_list     386 arch/s390/kvm/trace.h 		    __entry->facility_list = facility_list;
facility_list     390 arch/s390/kvm/trace.h 			   __entry->facility_list)