)]}' { "id": "47e2dde63734d50accdc4afea18a58267dc4330a", "repo": "arm/linux", "revision": "refs/heads/gem5/v4.3", "path": "drivers/gpio/gpio-lpc32xx.c" }