)]}' { "id": "44a61dc6f93208c897f1379cbb1371191d29d7b4", "repo": "linux", "revision": "6bbfa44116689469267f1a6e3d233b52114139d2", "path": "drivers/clocksource/arm_global_timer.c" }