1# SPDX-License-Identifier: GPL-2.0-only2 3config HAVE_PWRCTL4 bool5 6config PCI_PWRCTL7 tristate8 9config PCI_PWRCTL_PWRSEQ10 tristate11 select POWER_SEQUENCING12 select PCI_PWRCTL13
