)]}' { "id": "3d6c0671e9965bcd020f81cece6680c3e5dfd726", "repo": "maze/linux", "revision": "7ceeff443be92913f7edd1134d677fa2a1824cd0", "path": "drivers/char/mmtimer.c" }