)]}' { "id": "37671a5d4ed9fe1e59236a543b4c2b28be89f20e", "repo": "linux/torvalds/linux", "revision": "6e7739fc938c1ec58d321f70ea41d9548a4cca0f", "path": "drivers/clocksource/mips-gic-timer.c" }