src/user/stdio.nsh

/* stdio.nsc's shared helpers -- see stdio.nsc. */
void putchar(u8 ch);
void puts(ptr s);
void fputs(i32 fd, ptr s);
void print_err(i32 fd, ptr prefix, ptr generic_reason);
void stdio_flush(void);
u64 i64_to_dec(i64 val, ptr buf);
u64 u64_to_hex(u64 val, ptr buf);
void put_udec(u64 val);
void put_idec(i64 val);
ptr read_all(i32 fd, ptr len_out);