Searched refs:swapfile (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/lib/demandpaging/
H A Ddemandpaging.c73 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 Ddp_internal.h199 vfs_handle_t swapfile; member in struct:demand_paging_region

Completed in 31 milliseconds