PCI device locking and synchronization
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 4 Apr 2014 23:14:24 +0000 (16:14 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 4 Apr 2014 23:14:24 +0000 (16:14 -0700)
commit5e2d6eccd61e4336417d0d2ba7a87fa8c6f375d7
tree1f3f6a98f0332bb11b24c0c3d3da51a3c5514211
parentf9b0635f4df51183cdb2b3195768d7ce63d3ffbf
PCI device locking and synchronization

Adds some limited concurrency support to PCI operations.  The main list
of PCI devices is built at boot and is read-only, so we don't
(currently) need to worry much.
kern/arch/x86/msi.c
kern/arch/x86/pci.c
kern/arch/x86/pci.h