KEEP_SECTION void dumpRingBuffer(int numEntries) { dumpRingBufferMasked(numEntries, -1u); }
KEEP_SECTION void dumpRingBuffer(int numEntries, uint32_t threadId) { dumpRingBufferMasked(numEntries, -1u, threadId); }