)]}'
{
  "id": "a3025e7ae35f1741883d610310b915040d633101",
  "repo": "linux",
  "revision": "c32b3cbe0d067a9cfae85aa70ba1e97ceba0ced7",
  "path": "drivers/clocksource/arm_arch_timer.c"
}