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