Searched refs:swapfile (Results 1 - 2 of 2) sorted by relevance
/barrelfish-master/lib/demandpaging/ |
H A D | demandpaging.c | 73 err = vfs_seek(dpr->swapfile, VFS_SEEK_SET, offset); 79 err = vfs_read(dpr->swapfile, (void *)dpp->vaddr + totalread, 105 err = vfs_seek(dpr->swapfile, VFS_SEEK_SET, offset); 111 err = vfs_write(dpr->swapfile, (void *)dpp->vaddr + totalwritten, 348 DEBUG_ERR(err, "could not truncate swapfile"); 456 err = create_swap_file(dpr->swapname, bytes, &dpr->swapfile);
|
/barrelfish-master/lib/demandpaging/include/ |
H A D | dp_internal.h | 199 vfs_handle_t swapfile; member in struct:demand_paging_region
|
Completed in 31 milliseconds