I have a PCIe device that only works correctly when the computer is fully powered off then on again. Issuing a simple reboot or reboot -p command does not appear to cycle the power to the PCIe card, which causes it not to work after the reboot. Is there a way to, from the OS, cycle power to a device in a PCIe slot? I can find it in /sys/bus/pci/devices/0000*/, but I can't figure out how to properly reset the board. Toggling power seems to be the only way. Barring that, can I change a setting somewhere that will cause a full power cycle on a reboot command?I'm running Ubuntu 12.10 by the way. 
How to Reset/Cycle Power to a PCIe Device?
devices;power management;pci