)]}' { "id": "aa4d63af87060c3bccdf9ef0eddbdcf1024526c6", "repo": "linux-mtk", "revision": "cd07ecfbed82ac971ded1167b6e91052a42674d5", "path": "drivers/clocksource/mps2-timer.c" }