void vTraceStoreKernelCall(uint32_t eventcode, traceObjectClass objectClass, uint32_t byteParam);\r
\r
void vTraceStoreKernelCallWithNumericParamOnly(uint32_t evtcode,\r
void vTraceStoreKernelCall(uint32_t eventcode, traceObjectClass objectClass, uint32_t byteParam);\r
\r
void vTraceStoreKernelCallWithNumericParamOnly(uint32_t evtcode,\r