)]}'
{
  "commit": "793f4f83f128b5ed2afe9bbcc1299c625bad9a8c",
  "tree": "ffa27c8eddb1881dee0c4f86c2ffbb268767e407",
  "parents": [
    "1dff38cd6aaa77fb660efa82475ae44904c99941"
  ],
  "author": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Sun Sep 04 14:24:00 2022 +0000"
  },
  "committer": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Tue Dec 06 11:53:14 2022 +0000"
  },
  "message": "gma: Correct Global annotation for Initialize()\n\nOn G45, we use the private PCI device `Dev` during\nPower_And_Clocks.Initialize(). As its `Dev.PCI_State`\nis not directly visible in the sub-package, it is\nassumed that the whole, abstract `Device_State` can\nbe altered. This includes `Registers.GTT_State`.\n\nCorrecting the `Globals` aspect for G45 makes it\nexcessive for other platforms, hence we need the\nsame forest of additional justifications and anno-\ntations as we have for Power_Up_VGA().\n\nChange-Id: I7086b024d96f0a17f19f46f60ceac6757eb91867\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/c/libgfxinit/+/68111\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "87c8fb0e1fbaa90da940a7ea8e760fbe9125cacb",
      "old_mode": 33188,
      "old_path": "common/hw-gfx-gma.adb",
      "new_id": "1db493f7ca16aee95f28d65b6c48c1b6f66fae51",
      "new_mode": 33188,
      "new_path": "common/hw-gfx-gma.adb"
    }
  ]
}