pci: add domain identifier
authorAditya Basu <mitthu@google.com>
Fri, 16 Aug 2019 16:40:03 +0000 (12:40 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 19 Aug 2019 16:39:09 +0000 (12:39 -0400)
commiteefe7883c7f600f4e0c30cba14b205b7942a53d2
tree14b4b8301766d29a992807a4e9d55d46fb80c098
parentf2889d5fce2d042f8bbed1b6c868421a896e184f
pci: add domain identifier

- Add identifier for PCI domain.
- The field is declared as "int"; refer Linux source:
include/asm-x86_64/pci.h
- Legacy domain field used to be 16-bits.

Signed-off-by: Aditya Basu <mitthu@google.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/pci.c
kern/arch/x86/pci.h