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