)]}' { "id": "fd4b7f684bd030151d388071e05a3c2cfcb5e2c4", "repo": "arm/linux", "revision": "a524c1eea084def85e1122b64beda9bb3aca0e49", "path": "drivers/clocksource/arm_arch_timer.c" }