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