)]}'
{
  "id": "ef3cfb269d8bce34091e1fde228da32821d41925",
  "repo": "linux",
  "revision": "85aa391528ad11bfdfa5e5dec1f3e91cfe8ab078",
  "path": "drivers/clocksource/timer-prima2.c"
}