)]}' { "id": "efa80779de4f45f2d31df1088e23938e94ee0c35", "repo": "linux", "revision": "4747395082abc67c700a75e4cf3b796e79c7cf3a", "path": "drivers/pinctrl/devicetree.h" }