)]}'
{
  "id": "1791f12c180bbe3264bc6c48849f1f6ed4aaecde",
  "repo": "third_party/linux",
  "revision": "c472c07bfed9c87d7e0b2c052d7e77fedd7109a9",
  "path": "arch/arm/kernel/arch_timer.c"
}