1 2 3 4 5
#include <stdint.h> #include <stddef.h> int stdio_read(uint8_t* buf, size_t count, void **vptr, void *sptr); int stdio_write(uint8_t* buf, size_t count, void **vptr, void *sptr);