Google Git
Sign in
fuchsia / integration / db01e149d12da2dddd0b14ddd98db4415ca488ab
commitdb01e149d12da2dddd0b14ddd98db4415ca488ab[log] [tgz]
authorAdrian Danis <adanis@fuchsia.infra.roller.google.com>Mon May 12 15:17:33 2025 -0700
committerCopybara-Service <copybara-worker@google.com>Mon May 12 15:19:41 2025 -0700
tree1fff0e64d7ba3435efbdb1b80d948c38ce374044
parent66f149edf131a67ec4471e53c618977018ffc063 [diff]
[roll] Roll fuchsia [kernel][vm] Drop PageSource after Mutex

Ensure that the Mutex is released prior to potentially destroying the
PageSource.

Original-Bug: 416710573
Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/1273724
Original-Revision: f66cfbb4cb9b2079f18d6365042a2c96230630b4
GitOrigin-RevId: d6e81e696ee5cb295ebbe75e6590d2ffc1da03be
Change-Id: I58549a6ff056a86d93d9a8a10b7f3fd7b23312a7
1 file changed
tree: 1fff0e64d7ba3435efbdb1b80d948c38ce374044
  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.