Rev 2593 | Rev 2683 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2593 | Rev 2624 | ||
---|---|---|---|
Line 97... | Line 97... | ||
97 | * |
97 | * |
98 | * @param fd File descriptor being released. |
98 | * @param fd File descriptor being released. |
99 | */ |
99 | */ |
100 | void vfs_fd_free(int fd) |
100 | void vfs_fd_free(int fd) |
101 | { |
101 | { |
- | 102 | assert(fd < MAX_OPEN_FILES); |
|
102 | assert(files[fd] != NULL); |
103 | assert(files[fd] != NULL); |
103 | vfs_file_delref(files[fd]); |
104 | vfs_file_delref(files[fd]); |
104 | files[fd] = NULL; |
105 | files[fd] = NULL; |
105 | } |
106 | } |
106 | 107 | ||
Line 142... | Line 143... | ||
142 | * |
143 | * |
143 | * @return VFS file structure corresponding to fd. |
144 | * @return VFS file structure corresponding to fd. |
144 | */ |
145 | */ |
145 | vfs_file_t *vfs_file_get(int fd) |
146 | vfs_file_t *vfs_file_get(int fd) |
146 | { |
147 | { |
- | 148 | if (fd < MAX_OPEN_FILES) |
|
147 | return files[fd]; |
149 | return files[fd]; |
- | 150 | return NULL; |
|
148 | } |
151 | } |
149 | 152 | ||
150 | /** |
153 | /** |
151 | * @} |
154 | * @} |
152 | */ |
155 | */ |