Symbol: switchtec_exit_pci