)]}'
{
  "commit": "6c10d367eb169cc3f07053785fd000b382874672",
  "tree": "98c32c8cca2fea624303c051b423f7dcda97c451",
  "parents": [
    "530651bfb439d37abb0f07593d7ab604f2419a18"
  ],
  "author": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Wed Oct 02 00:28:19 2019 +0200"
  },
  "committer": {
    "name": "Nico Huber",
    "email": "nico.h@gmx.de",
    "time": "Sun Oct 06 14:12:49 2019 +0000"
  },
  "message": "Increase range of our main Frequency_Type\n\nIncrease `Frequency_Type` to 1MHz .. 2.5Ghz. We used to adapt it\nwhenever necessary, e.g. when a new generation supported higher\nfrequencies. But that got a little annoying. So let\u0027s choose a\nbroader range that will hopefully lower the noise for some time.\n\n1MHz is low enough for VGA resolution at 24p, and 2.5GHz is high\nenough for 8K at 60p. That should give us some margin.\n\nSome corner cases required refactoring of some calculations and\nproofs. And, admittedly, the calculation in `HW.GFX.GMA.PCH.VGA`\ncan in theory overflow. We prove absence of runtime errors by\ndeferring the potential overflow to the modular `Word32` type.\nThis is not perfect, but overflow or not, we have to expect to\nbe called with a sane frequency anyway.\n\nChange-Id: I3a159bc11ccadcaba8ad04e126e6feadfd46008e\nSigned-off-by: Nico Huber \u003cnico.h@gmx.de\u003e\nReviewed-on: https://review.coreboot.org/c/libgfxinit/+/35750\nReviewed-by: Arthur Heymans \u003carthur@aheymans.xyz\u003e\nReviewed-by: Angel Pons \u003cth3fanbus@gmail.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7ac4556fdcae50f4ce505492c823f8ee65163033",
      "old_mode": 33188,
      "old_path": "common/hw-gfx-dp_info.adb",
      "new_id": "d45826df3982bf3b99a98ab6ca9bbdc3473ce3fb",
      "new_mode": 33188,
      "new_path": "common/hw-gfx-dp_info.adb"
    },
    {
      "type": "modify",
      "old_id": "fd827405c9b32e000c5d6f4acd6ba3e6fb8f9417",
      "old_mode": 33188,
      "old_path": "common/hw-gfx-gma-pch-vga.adb",
      "new_id": "eb7f9a0b7ef0437408b1c902b8787bf0b9a858ce",
      "new_mode": 33188,
      "new_path": "common/hw-gfx-gma-pch-vga.adb"
    },
    {
      "type": "modify",
      "old_id": "93a36845a195e64481da9d64206ab071a48575b9",
      "old_mode": 33188,
      "old_path": "common/hw-gfx.ads",
      "new_id": "2cfc017b994427e74858f1f0351a60079d6d53d0",
      "new_mode": 33188,
      "new_path": "common/hw-gfx.ads"
    }
  ]
}