820 static uint8_t writeInt8(void * buffer, uint8_t i, uint8_t value)  in writeInt8()  argument
822 	TRACE_ASSERT(buffer != (void*)0, "writeInt8: buffer == NULL", 0);  in writeInt8()
829 	((uint8_t*)buffer)[i] = value;  in writeInt8()
841 static uint8_t writeInt16(void * buffer, uint8_t i, uint16_t value)  in writeInt16()  argument
843 	TRACE_ASSERT(buffer != (void*)0, "writeInt16: buffer == NULL", 0);  in writeInt16()
853 		((uint8_t*)buffer)[i] = 0;  in writeInt16()
862 	((uint16_t*)buffer)[i/2] = value;  in writeInt16()
869 static uint8_t writeInt32(void * buffer, uint8_t i, uint32_t value)  in writeInt32()  argument
871 	TRACE_ASSERT(buffer != (void*)0, "writeInt32: buffer == NULL", 0);  in writeInt32()
881 		((uint8_t*)buffer)[i] = 0;  in writeInt32()
890 	((uint32_t*)buffer)[i/4] = value;  in writeInt32()
897 static uint8_t writeFloat(void * buffer, uint8_t i, float value)  in writeFloat()  argument
899 	TRACE_ASSERT(buffer != (void*)0, "writeFloat: buffer == NULL", 0);  in writeFloat()
909 		((uint8_t*)buffer)[i] = 0;  in writeFloat()
918 	((float*)buffer)[i/4] = value;  in writeFloat()
925 static uint8_t writeDouble(void * buffer, uint8_t i, double value)  in writeDouble()  argument
930 	TRACE_ASSERT(buffer != (void*)0, "writeDouble: buffer == NULL", 0);  in writeDouble()
941 		((uint8_t*)buffer)[i] = 0;  in writeDouble()
950 	dest = &(((uint32_t *)buffer)[i/4]);  in writeDouble()
965 static uint8_t prvTraceUserEventFormat(const char* formatStr, va_list vl, uint8_t* buffer, uint8_t …  in prvTraceUserEventFormat()  argument
995 						i = writeInt32(	buffer,  in prvTraceUserEventFormat()
1002 						i = writeInt32(	buffer,  in prvTraceUserEventFormat()
1011 							i = writeInt16(buffer,  in prvTraceUserEventFormat()
1022 						i = writeFloat(	buffer,  in prvTraceUserEventFormat()
1033 						i = writeInt32(	buffer,  in prvTraceUserEventFormat()
1043 							case 'f':	i = writeDouble(buffer,  in prvTraceUserEventFormat()
1053 								i = writeInt32(	buffer, /* In this case, the value will not be shown anyway */  in prvTraceUserEventFormat()
1057 								i = writeInt32(	buffer, /* Do it twice, to write in total 8 bytes */  in prvTraceUserEventFormat()
1071 								i = writeInt16(	buffer,  in prvTraceUserEventFormat()
1076 								i = writeInt16(	buffer,  in prvTraceUserEventFormat()
1090 								i = writeInt8(	buffer,  in prvTraceUserEventFormat()
1095 								i = writeInt8(	buffer,  in prvTraceUserEventFormat()