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