[roll] Roll fuchsia [kernel][vm] Remove page request batching

The batching system, both internal and external, are vestigial and from
a time when every page offset was looked up individually for a request.
Current lookup cursors and methods now find and request their entire
range at once, and do not need to append to an existing range. The
current batching logic is, therefore, completely unused and the code
paths are not triggered.

Although batching itself is unused, a page request having been created
with a different batch state changed how failed ranges worked. This
behavior does not make sense, and the comment justifying it is wrong,
since the external callers are in fact explicitly requesting the range
that is being failed, and so will not be surprised. Changing this
behavior does impact some tests that were explicitly testing for it.

Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/1045573
Original-Revision: af8d32d2c9763ba0b5f1ecf818675a0ce8230b00
GitOrigin-RevId: de3189b3f4e4ff7b1b52f2bf42f95dd62719baea
Change-Id: Ibda492ede863298377bfc8393e96c91aa6677a10
1 file changed
tree: a27dde52fc19c4398b4679ba16e08f8fad5b55cb
  1. ctf/
  2. git-hooks/
  3. infra/
  4. third_party/
  5. cts
  6. firmware
  7. flower
  8. jiri.lock
  9. MILESTONE
  10. minimal
  11. prebuilts
  12. README.md
  13. stem
  14. test_durations
  15. toolchain
README.md

Integration

This repository contains Fuchsia's Global Integration manifest files.

Making changes

All changes should be made to the internal version of this repository. Our infrastructure automatically updates this version when the internal one changes.

Currently all changes must be made by a Google employee. Non-Google employees wishing to make a change can ask for assistance via the IRC channel #fuchsia on Freenode.

Obtaining the source

First install Jiri.

Next run:

$ jiri init
$ jiri import minimal https://fuchsia.googlesource.com/integration
$ jiri update

Third party

Third party projects should have their own subdirectory in ./third_party.