diff -r be72873a6f30 tools/libxc/xc_netbsd.c --- a/tools/libxc/xc_netbsd.c Wed Dec 15 11:49:51 2010 +0100 +++ b/tools/libxc/xc_netbsd.c Wed Dec 15 12:08:47 2010 +0100 @@ -280,11 +280,36 @@ int xc_evtchn_unmask(int xce_handle, evt /* Optionally flush file to disk and discard page cache */ void discard_file_cache(xc_interface *xch, int fd, int flush) { + off_t cur = 0; + int saved_errno = errno; if ( flush && (fsync(fd) < 0) ) { /*PERROR("Failed to flush file: %s", strerror(errno));*/ + goto out; } + + /* + * Calculate last page boundry of amount written so far + * unless we are flushing in which case entire cache + * is discarded. + */ + if ( !flush ) + { + if ( ( cur = lseek(fd, 0, SEEK_CUR)) == (off_t)-1 ) + cur = 0; + cur &= ~(PAGE_SIZE - 1); + } + + /* Discard from the buffer cache. */ + if ( posix_fadvise(fd, 0, cur, POSIX_FADV_DONTNEED) < 0 ) + { + /*PERROR("Failed to discard cache: %s", strerror(errno));*/ + goto out; + } + + out: + errno = saved_errno; } int xc_gnttab_open(void)