XENFB_OUT_RING_LEN
return prod - cons == XENFB_OUT_RING_LEN;
(XENFB_OUT_RING((page))[(idx) % XENFB_OUT_RING_LEN])