Only RP01 is a hotplug port

This commit is contained in:
Jeremy Soller 2019-10-30 15:48:01 -06:00
parent 852283919e
commit 27b4ae24f4
No known key found for this signature in database
GPG Key ID: E988B49EE78A7FB1

View File

@ -80,8 +80,8 @@ static void mainboard_init(struct device *dev) {
static bool mainboard_pcie_hotplug(int port_number) {
printk(BIOS_DEBUG, "system76: pcie_hotplug(%d)\n", port_number);
/* RP01 and RP05 */
return port_number == 0 || port_number == 4;
/* RP01 */
return port_number == 0;
}
static void pcie_hotplug_generator(int port_number)