)]}' { "id": "d711ae06747eeff69e2a0b9b6972fb9b2bef6427", "repo": "linux", "revision": "9557e60b8c3521e43bf5f21db95b2b42d7c43ac9", "path": "drivers/gpio/gpio-lpc18xx.c" }