)]}' { "id": "6d26b40cbf5d29c7d80c83a9fe22b4f9e85a0b70", "repo": "pub/scm/linux/kernel/git/jikos/livepatching", "revision": "e0b561ee78d82a4cc7792aa28fa4b1ea15325dcc", "path": "include/clocksource/arm_arch_timer.h" }