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

/seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/
H A Dsys_io.c359 muslcsys_fd_t *muslc_fd = get_fd_struct(fd); local
360 if (muslc_fd->filetype != FILE_TYPE_CPIO) {
364 cpio_file_data_t *cpio_fd = muslc_fd->data;
449 muslcsys_fd_t *muslc_fd = get_fd_struct(fd); local
450 if (muslc_fd == NULL) {
454 if (muslc_fd->filetype != FILE_TYPE_CPIO) {
461 cpio_file_data_t *cpio_fd = muslc_fd->data;

Completed in 25 milliseconds