#ifndef BUFFER_H_INCLUDED
#define BUFFER_H_INCLUDED

#include <stdint.h>         // int32_t, uint32_t, uint8_t
#include "kernel.h"         // _kernel_swi_regs, _kernel_oserror

extern void upcallv_hook(void);
int32_t upcallv_hook_handler(_kernel_swi_regs *r, void *pw);

_kernel_oserror* buffer_read(int id, uint32_t to_read, uint8_t *data, uint32_t *read, void *code, void *ws);

#endif
