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