)]}' { "id": "257e810ec1ad1dd25e7ec4e3263f7bf2816ef1f5", "repo": "arm/linux", "revision": "a524c1eea084def85e1122b64beda9bb3aca0e49", "path": "drivers/clocksource/time-efm32.c" }