GetNumberOfVCPUs returns number of vCPUs It counts sockets*cores*threads.

Parse linux cpuset into an array of ints See: http://man7.org/linux/man-pages/man7/cpuset.7.html#FORMATS.

ParsePciAddress returns an array of PCI DBSF fields (domain, bus, slot, function).