)]}'
{
  "id": "25d0914481a26d04a001a91216df6fd68c52e87c",
  "repo": "third_party/kernel",
  "revision": "c05c2ec96bb8b7310da1055c7b9d786a3ec6dc0c",
  "path": "include/clocksource/arm_arch_timer.h"
}