1# SPDX-License-Identifier: GPL-2.0-only 2 3config HAVE_PWRCTL 4 bool 5 6config PCI_PWRCTL 7 tristate 8 9config PCI_PWRCTL_PWRSEQ 10 tristate 11 select POWER_SEQUENCING 12 select PCI_PWRCTL 13