Searched refs:rsp_sysnum (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/tools/rumprun/lib/librumprun_base/
H A Dsysproxy.c241 #define rsp_sysnum u.sysnum macro
1153 rhdr.rsp_sysnum = 0;
1179 rhdr.rsp_sysnum = 0;
1209 rhdr.rsp_sysnum = 0;
1251 rhdr.rsp_sysnum = 0;
1280 rhdr.rsp_sysnum = 0;
1486 sysnum = (int)rhdr->rsp_sysnum;

Completed in 27 milliseconds