#include <stdio.h>
#include "../interface/syscalls.h"

/** invalidate screen rectangle */
// we pack x,y and width,height togehter
int _gui_inval(uint32_t xy, uint32_t wh)
{
    return syscall(SYSCALL_GUI_RECT,xy,wh,0);
}