Searched refs:panicbuf_index (Results 1 – 1 of 1) sorted by relevance
65 uint32_t panicbuf_index = PANICBUFSIZE; variable170 old = panicbuf_index; in cprintf()174 } while (atomic_cas_32(&panicbuf_index, old, new) != old); in cprintf()