diff options
Diffstat (limited to 'console-client/vga-support.h')
-rw-r--r-- | console-client/vga-support.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/console-client/vga-support.h b/console-client/vga-support.h index 17c0b5fd..c109bc6c 100644 --- a/console-client/vga-support.h +++ b/console-client/vga-support.h @@ -41,6 +41,15 @@ error_t vga_init (void); hardware access. */ void vga_fini (void); +/* Non-optimized memset for vga_videomem */ +void vga_memset (void *__restrict s, int c, size_t n); + +/* Non-optimized memcpy for vga_videomem */ +void vga_memcpy (void *__restrict dest, const void *__restrict src, size_t n); + +/* Non-optimized memmove for vga_videomem */ +void vga_memmove (void *dest, const void *src, size_t n); + /* Write DATALEN bytes from DATA to the font buffer BUFFER, starting from glyph index. */ void vga_write_font_buffer (int buffer, int index, |