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

/seL4-test-master/projects/seL4_libs/libsel4muslcsys/include/muslcsys/
H A Dio.h55 get_fd_struct(int fd);
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dsys_io.c64 get_fd_struct(fd)->filetype = FILE_TYPE_FREE;
166 muslcsys_fd_t *get_fd_struct(int fd) function
207 muslcsys_fd_t *fds = get_fd_struct(fd);
258 muslcsys_fd_t *fds = get_fd_struct(fd);
359 muslcsys_fd_t *muslc_fd = get_fd_struct(fd);
449 muslcsys_fd_t *muslc_fd = get_fd_struct(fd);

Completed in 30 milliseconds