x86: Make reboot more robust
authorBarret Rhoden <brho@cs.berkeley.edu>
Tue, 11 Feb 2014 22:47:03 +0000 (14:47 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 11 Feb 2014 22:47:03 +0000 (14:47 -0800)
commitd6c93b7eb728873ff2193fc8c5950cc8110537e6
tree76e497ee74673914d83cc8c0775d6a81bbbef8fa
parent57e1a6e9dd1906dcdd3b13e72ffa3016062a2e0d
x86: Make reboot more robust

PCI reset method.
kern/arch/x86/arch.h