Searched refs:filetable_dspace_open (Results 1 - 6 of 6) sorted by relevance
/seL4-refos-master/libs/librefossys/include/refos-io/ |
H A D | filetable.h | 34 int filetable_dspace_open(fd_table_t *fdt, char* filePath, int flags, int mode, int size);
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/include/refos-io/ |
H A D | filetable.h | 34 int filetable_dspace_open(fd_table_t *fdt, char* filePath, int flags, int mode, int size);
|
/seL4-refos-master/libs/librefossys/src/refos-io/ |
H A D | filetable.c | 146 filetable_dspace_open(fd_table_t *fdt, char* filePath, int flags, int mode, int size) function
|
/seL4-refos-master/libs/librefossys/src/ |
H A D | sys_io.c | 267 fd = filetable_dspace_open(&refosIOState.fdTable, pathname, flags, 0, 0x1000);
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/ |
H A D | filetable.c | 146 filetable_dspace_open(fd_table_t *fdt, char* filePath, int flags, int mode, int size) function
|
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
H A D | sys_io.c | 267 fd = filetable_dspace_open(&refosIOState.fdTable, pathname, flags, 0, 0x1000);
|
Completed in 43 milliseconds