PCI: adds device-specific data pointer
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 9 Feb 2015 21:39:57 +0000 (16:39 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Sun, 1 Mar 2015 14:35:59 +0000 (09:35 -0500)
commitc9cac077ee3775254334096edb6376e8c4713740
treebfa1b28f7aed6b22140f0c7dbf8c9a920beb24c3
parent155b87bc4b57b87163fae5987d4cbaf9e659a4e5
PCI: adds device-specific data pointer

This is useful, even if we don't use it in the short term.  Both BSD and
Linux have something similar (possibly with an intermediate device).
kern/arch/x86/pci.h