Symbol: thunk_rfb_update_t
sys/arch/usermode/include/thunk.h
249
thunk_rfb_update_t update[THUNK_RFB_QUEUELEN];
sys/arch/usermode/usermode/thunk.c
1203
thunk_rfb_update_t *update;
sys/arch/usermode/usermode/thunk.c
1516
thunk_rfb_update_t *update = NULL;
sys/arch/usermode/usermode/thunk.c
1557
thunk_rfb_update_t *update = NULL;
sys/arch/usermode/usermode/thunk.c
1584
thunk_rfb_update_t *update = NULL;