164,166c164
< // file descriptor remapping support
< static const int MAX_FD = 256; // max legal fd value
< FdMap fd_map[MAX_FD+1];
---
> static const int NUM_FDS = 1024;
167a166,167
> // File descriptor remapping support.
> FdMap *fd_map;
190,192d189
< // map simulator fd sim_fd to target fd tgt_fd
< void dup_fd(int sim_fd, int tgt_fd);
<
197,198c194,195
< // free target fd (e.g., after close)
< void free_fd(int tgt_fd);
---
> // disassociate target fd with simulator fd and cleanup subsidiary fields
> void free_fdmap_entry(int tgt_fd);
205a203,209
> // look up target fd for given host fd
> // Assumes a 1:1 mapping between target file descriptor and host file
> // descriptor. Given the current API, this must be true given that it's
> // not possible to map multiple target file descriptors to the same host
> // file descriptor
> int tgt_fd(int sim_fd);
>