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