tree 14b4b8301766d29a992807a4e9d55d46fb80c098
parent f2889d5fce2d042f8bbed1b6c868421a896e184f
author Aditya Basu <mitthu@google.com> 1565973603 -0400
committer Barret Rhoden <brho@cs.berkeley.edu> 1566232749 -0400

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>