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

/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/
H A Ddspace.c181 data_lseek_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , off_t rpc_offset , int rpc_whence) function
183 assert(!"data_lseek_handler unimplemented.");
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/
H A Ddspace.c121 data_lseek_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , off_t rpc_offset , int rpc_whence) function
123 assert(!"data_lseek_handler unimplemented.");
/seL4-refos-master/apps/console_server/src/dispatchers/dspace/
H A Ddspace.c181 data_lseek_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , off_t rpc_offset , int rpc_whence) function
183 assert(!"data_lseek_handler unimplemented.");
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/
H A Ddspace.c121 data_lseek_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , off_t rpc_offset , int rpc_whence) function
123 assert(!"data_lseek_handler unimplemented.");
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Ddata_syscall.c129 data_lseek_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , off_t rpc_offset , function
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Ddata_syscall.c129 data_lseek_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , off_t rpc_offset , function
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Dcpio_dspace.c242 data_lseek_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , off_t rpc_offset , int rpc_whence) function
244 assert(!"data_lseek_handler not implemented");
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Dcpio_dspace.c242 data_lseek_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd , off_t rpc_offset , int rpc_whence) function
244 assert(!"data_lseek_handler not implemented");

Completed in 59 milliseconds