Google Git
Sign in
fuchsia/integration/4302fe4234bad27eea6345386e5e2e09b57162f8
commit
4302fe4234bad27eea6345386e5e2e09b57162f8
[log]
author
Ethan Williams <ethanws@fuchsia.infra.roller.google.com>
Thu Dec 04 13:01:44 2025 -0800
committer
Copybara-Service <copybara-worker@google.com>
Thu Dec 04 13:03:27 2025 -0800
tree
ee95a3721f9d8b2ab78ddb5dfa5bc56da8d85c6b
parent
24d6099b0c6402d85d906dda6d1ddb7c57fa480d [diff]
[roll] Roll fuchsia [kernel][vm] PageSourceProperties: Remove redundant bool fields

The is_preserving_page_content field always equals is_user_pager, and
the is_providing_specific_physical_pages always equals !is_user_pager.

Use is_user_pager instead of these fields.

Original-Bug: 465125983
Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/1440274
Original-Revision: 01ae4fc30851ac458f442c433b23426f82d815d5
GitOrigin-RevId: 38034f26dd2a993e0215763e28fa75ada4ce39d5
Change-Id: I96fc3f76570e6f213c6389ae729a221e60b2f386
1 file changed
tree: ee95a3721f9d8b2ab78ddb5dfa5bc56da8d85c6b
  1. ctf/
  2. git-hooks/
  3. infra/
  4. third_party/
  5. flower
  6. jiri.lock
  7. MILESTONE
  8. minimal
  9. prebuilts
  10. README.md
  11. stem
  12. test_durations
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 in one of the communication channels documented at get involved.

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.