| 285 | segments[seg] = mmap_segment(seg); |
| 286 | } |
| 287 | inline void *to_ptr(vaddr_t vaddr) { |
| 288 | if (vaddr == VADDR_NULL) |
| 289 | return NULL; |
| 290 | ensure_is_mapped(vaddr); |
| 291 | return segment(vaddr).ptr(segaddr(vaddr)); |
| 292 | } |
| 293 | size_t filesize(); |
| 294 | Status init(int fd); |
| 295 | Status init(); |