circular_buffer_read
nbytes = circular_buffer_read(
static int circular_buffer_read(int, int, int, int, caddr_t, int);