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

/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/
H A Ddispatch.c52 seL4_Word syscallFunc = seL4_GetMR(0); local
53 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Ddispatch.c52 seL4_Word syscallFunc = seL4_GetMR(0); local
53 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/
H A Ddispatch.c52 seL4_Word syscallFunc = seL4_GetMR(0); local
53 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
/seL4-refos-master/apps/console_server/src/dispatchers/
H A Ddispatch.c52 seL4_Word syscallFunc = seL4_GetMR(0); local
53 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Ddispatch.c52 seL4_Word syscallFunc = seL4_GetMR(0); local
53 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
/seL4-refos-master/apps/timer_server/src/dispatchers/
H A Ddispatch.c52 seL4_Word syscallFunc = seL4_GetMR(0); local
53 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Ddispatcher.c43 seL4_Word syscallFunc = seL4_GetMR(0); local
44 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Ddispatcher.c43 seL4_Word syscallFunc = seL4_GetMR(0); local
44 if (syscallFunc <= labelMin || syscallFunc >= labelMax) {

Completed in 48 milliseconds