)]}' { "id": "4ecef6d83777ad8efdf8ef48a542a1ebb3ac9c17", "repo": "linux", "revision": "9c0c4d24ac000e52d55348961d3a3ba42065e0cf", "path": "drivers/irqchip/irq-mvebu-sei.c" }