)]}' { "id": "4d23dc4d8139988e13946ee48d37a76333c916c0", "repo": "maze/linux", "revision": "7ceeff443be92913f7edd1134d677fa2a1824cd0", "path": "kernel/time/sched_clock.c" }