Repository navigation

Only count freed pages in homa_pool_free_bufs if not upstream - #149

Merged

johnousterhout merged 1 commit into

PlatformLab:mainfrom

randomizedcoder:fix/pool-freed-pages-strip

Nov 10, 2026

Merged

Only count freed pages in homa_pool_free_bufs if not upstream#149
johnousterhout merged 1 commit into
PlatformLab:mainfrom
randomizedcoder:fix/pool-freed-pages-strip

Commits on Nov 8, 2026
- Only count freed pages in homa_pool_free_bufs if not upstream
  
  randomizedcoder
  and
  claude
  committed
  fe8909b