)]}' { "id": "20ff33b698df963e0e5f2cb932cb7f03d25f8329", "repo": "linux", "revision": "2fcfe7b79f081aa4cf2a9add6c20abc3663e5640", "path": "drivers/clocksource/timer-prima2.c" }