| 336 | } |
| 337 | |
| 338 | static void lock_process(int processno) { |
| 339 | lock_file(vmem.fd, |
| 340 | metapageaddr(process_info) |
| 341 | + sizeof(ProcessInfo) * vmem.current_process); |
| 342 | } |
| 343 | |
| 344 | static void unlock_process(int processno) { |
| 345 | unlock_file(vmem.fd, |
no test coverage detected