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