polled_io_cons_write
polled_io_cons_write(s, n);
polled_io_cons_write(buffer, (size_t)buflen);
void polled_io_cons_write(uchar_t *, size_t);