)]}'
{
  "id": "f33ff2bca414f00e5e1479973abeb5c7e58b1d6c",
  "repo": "third_party/kernel",
  "revision": "4a92a5b9f08eef570eeea72da3aec7ea7ded38bd",
  "path": "drivers/pci/hotplug/cpci_hotplug.h"
}
