)]}' { "id": "ff188ab68496e0d646f5e15ea8c5b0ef2e321c83", "repo": "linux", "revision": "72641d8d60401a5f1e1a0431ceaf928680d34418", "path": "drivers/clocksource/hyperv_timer.c" }