)]}' { "id": "be4175f415ba562c4f4f3596a8bed2f144a84ac6", "repo": "linux", "revision": "4747395082abc67c700a75e4cf3b796e79c7cf3a", "path": "drivers/clocksource/mips-gic-timer.c" }