)]}'
{
  "commit": "b99905d3ce57b1b032d981e8b835f103e499a505",
  "tree": "411bd316eb4d66ece68681020b494aac1449b9c4",
  "parents": [
    "26113c8502a48545941b665c0b405c20124deacf"
  ],
  "author": {
    "name": "Jakob Vukalovic",
    "email": "jakobvukalovic@google.com",
    "time": "Thu Apr 20 15:46:02 2023 +0100"
  },
  "committer": {
    "name": "Jakob Vukalovic",
    "email": "jakobvukalovic@google.com",
    "time": "Mon May 22 11:02:00 2023 +0100"
  },
  "message": "pvmfw: Optimize MMIO guard map\n\nOptimize MMIO guard mapping device pages by mapping the pages as invalid\nin order to produce translation faults. When a translation fault\nhappens, re-enable the pages and only then MMIO guard map the pages.\n\nBug: 245267332\nTest: atest MicrodroidTestApp\n\nChange-Id: I81128d7efec1249a9a7da988ec098b29936338ef\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d17247438369d5503cbc48a32e4ab600cd6b97ce",
      "old_mode": 33188,
      "old_path": "pvmfw/src/entry.rs",
      "new_id": "4d2d69656b5c41410344dec4ca5bf7b4439aa53c",
      "new_mode": 33188,
      "new_path": "pvmfw/src/entry.rs"
    },
    {
      "type": "modify",
      "old_id": "a6ac4fe1ed930739262cdae22abc96290134925d",
      "old_mode": 33188,
      "old_path": "pvmfw/src/exceptions.rs",
      "new_id": "39641b09c10aca2e3d05668b4ba9fbbd9511a613",
      "new_mode": 33188,
      "new_path": "pvmfw/src/exceptions.rs"
    },
    {
      "type": "modify",
      "old_id": "3c0acc7d08e179676ee365d3fca688a8a987cf83",
      "old_mode": 33188,
      "old_path": "pvmfw/src/main.rs",
      "new_id": "fdc94075faddb82991a2adbaea368d3d32382662",
      "new_mode": 33188,
      "new_path": "pvmfw/src/main.rs"
    },
    {
      "type": "modify",
      "old_id": "06563214fcc03e9f9307951cec2c30aebf3c9304",
      "old_mode": 33188,
      "old_path": "pvmfw/src/memory.rs",
      "new_id": "1a2b4b74cedc06703c633d2c6fabe7fa5254006c",
      "new_mode": 33188,
      "new_path": "pvmfw/src/memory.rs"
    },
    {
      "type": "modify",
      "old_id": "da8c4b542f132f0395ed80922518929a3a284fdf",
      "old_mode": 33188,
      "old_path": "pvmfw/src/mmu.rs",
      "new_id": "ed9b20956a3d95e0e5f2d4f0c9bbb628ca3fa5d5",
      "new_mode": 33188,
      "new_path": "pvmfw/src/mmu.rs"
    }
  ]
}