Searched refs:console_wcnt (Results 1 – 1 of 1) sorted by relevance
224 uint64_t console_wcnt; in opcic_rsys_cnputc() local231 console_wcnt = console_base + 0x0c; in opcic_rsys_cnputc()234 wcnt = cvmx_read64_uint16(console_wcnt) % OPCIC_RSYS_FIFO_SIZE; in opcic_rsys_cnputc()236 cvmx_write64_uint16(console_wcnt, wcnt + 1); in opcic_rsys_cnputc()