)]}'
{
  "id": "e6c9c4cc9b23415fad39dfd142a6ce3bd44f4b7c",
  "repo": "linux",
  "revision": "a894fcc2d01a89e6fe3da0845a4d80a5312e1124",
  "path": "include/clocksource/arm_arch_timer.h"
}