#include <stdio.h>
#include "kernel.h"


void antitwitter(int x0, int y0, int w, int h) {

  _kernel_swi_regs r;

  r.r[0] = x0;
  r.r[1] = y0;
  r.r[2] = w;
  r.r[3] = h;
  _kernel_swi(0xa38c0, &r, &r);
}
