Searched refs:TraceKernelPortData_t (Results 1 – 1 of 1) sorted by relevance
68 } TraceKernelPortData_t; typedef70 static TraceKernelPortData_t* pxKernelPortData TRC_CFG_RECORDER_DATA_ATTRIBUTE;74 TRC_ASSERT_EQUAL_SIZE(TraceKernelPortDataBuffer_t, TraceKernelPortData_t); in xTraceKernelPortInitialize()81 pxKernelPortData = (TraceKernelPortData_t*)pxBuffer; in xTraceKernelPortInitialize()
