)]}'
{
  "id": "be34b116d4d2c80d0f367e181a81dc53cf563943",
  "repo": "third_party/linux",
  "revision": "d8e8197b93fb45a6459ca0ec0d462ce29e63de6a",
  "path": "drivers/clocksource/timer-u300.c"
}