Searched refs:TraceKernelPortDataBuffer_t (Results 1 – 5 of 5) sorted by relevance
74 } TraceKernelPortDataBuffer_t; typedef86 traceResult xTraceKernelPortInitialize(TraceKernelPortDataBuffer_t* pxBuffer);
298 if (prvVerifySizeAlignment(sizeof(TraceKernelPortDataBuffer_t)) == TRC_FAIL) in xTraceHeaderInitialize()
38 TraceKernelPortDataBuffer_t xKernelPortDataBuffer;
79 traceResult xTraceKernelPortInitialize(TraceKernelPortDataBuffer_t* pxBuffer) in xTraceKernelPortInitialize()81 TRC_ASSERT_EQUAL_SIZE(TraceKernelPortDataBuffer_t, TraceKernelPortData_t); in xTraceKernelPortInitialize()
1646 TraceKernelPortDataBuffer_t xKernelPortBuffer; /* verify alignment in xTraceInitialize() */