#ifndef BUFFER_H_INCLUDED
#define BUFFER_H_INCLUDED

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

_kernel_oserror* buffer_read(buffer_internal_id id, uint32_t to_read, byte *data, uint32_t *read, asm_routine code, void *ws);

#endif
