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

/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/
H A Ddspace.c188 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) function
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/dispatchers/dspace/
H A Ddspace.c128 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) function
/seL4-refos-master/apps/console_server/src/dispatchers/dspace/
H A Ddspace.c188 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) function
/seL4-refos-master/apps/timer_server/src/dispatchers/dspace/
H A Ddspace.c128 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) function
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Ddata_syscall.c140 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) function
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Ddata_syscall.c140 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) function
/seL4-refos-master/projects/refos/impl/apps/file_server/src/dispatchers/
H A Dcpio_dspace.c249 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) function
258 dprintf("data_get_size_handler EINVALIDPARAM: bad caps.\n");
264 ROS_WARNING("data_get_size_handler: no such dataspace.");
/seL4-refos-master/apps/file_server/src/dispatchers/
H A Dcpio_dspace.c249 data_get_size_handler(void *rpc_userptr , seL4_CPtr rpc_dspace_fd) function
258 dprintf("data_get_size_handler EINVALIDPARAM: bad caps.\n");
264 ROS_WARNING("data_get_size_handler: no such dataspace.");

Completed in 44 milliseconds