in ncrx/nctx.c [146:154]
static uint64_t kmsg_ring_tail_seq(struct kmsg_ring *ring) { int nr; nr = ring->head - ring->tail; if (nr < 0) nr += ring->nr_slots; return ring->head_seq - nr; }