)]}' { "id": "1f95d0aca08f2984cd8f2014e913c41018b71321", "repo": "third_party/kernel", "revision": "af7099bad49591675a9b14bb48437bc6b53b4435", "path": "drivers/clocksource/timer-rockchip.c" }