Symbol: thunk_rfb_update
sys/arch/usermode/dev/vncfb.c
527
thunk_rfb_update(&sc->sc_rfb, x, y, w, h);
sys/arch/usermode/include/thunk.h
255
void thunk_rfb_update(thunk_rfb_t *, int, int, int, int);
sys/arch/usermode/usermode/thunk.c
1387
thunk_rfb_update(rfb, 0, 0, rfb->width, rfb->height);