)]}'
{
  "id": "99ccc84f42c61195ff6461da0a28a17f3a5a35a0",
  "repo": "kernel/common",
  "revision": "720da4ffe787",
  "path": "include/clocksource/arm_arch_timer.h"
}