src/add-ons/kernel/file_systems/packagefs/package/CachedDataReader.cpp

222

_DiscardPages(pages, firstMissing - firstPageOffset, missingPages);

src/add-ons/kernel/file_systems/packagefs/package/CachedDataReader.cpp

270

_DiscardPages(pages, firstMissing - firstPageOffset, missingPages);

src/add-ons/kernel/file_systems/packagefs/package/CachedDataReader.h

123

void _DiscardPages(vm_page** pages, size_t firstPage,

src/system/kernel/device_manager/IOCache.cpp

332

_DiscardPages(firstMissing - firstPageOffset, missingPages);

src/system/kernel/device_manager/IOCache.cpp

393

_DiscardPages(firstMissing - firstPageOffset, missingPages);

src/system/kernel/device_manager/IOCache.cpp

414

_DiscardPages(0, linePageCount);

src/system/kernel/device_manager/IOCache.cpp

425

_DiscardPages(firstPage, endPage - firstPage);

src/system/kernel/device_manager/IOCache.h

57

void _DiscardPages(size_t firstPage,