)]}' { "id": "a00520cbb660a1c8ee2e14e3cee30043390356f4", "repo": "linux", "revision": "6bbfa44116689469267f1a6e3d233b52114139d2", "path": "drivers/clocksource/timer-npcm7xx.c" }