Searched refs:writeInt32 (Results 1 – 1 of 1) sorted by relevance
885 static uint8_t writeInt32(void * buffer, uint8_t i, uint32_t value) in writeInt32() function1011 i = writeInt32( buffer, in prvTraceUserEventFormat()1018 i = writeInt32( buffer, in prvTraceUserEventFormat()1044 i = writeInt32( buffer, in prvTraceUserEventFormat()1064 i = writeInt32( buffer, /* In this case, the value will not be shown anyway */ in prvTraceUserEventFormat()1068 i = writeInt32( buffer, /* Do it twice, to write in total 8 bytes */ in prvTraceUserEventFormat()