# /usr/sbin/vmkchdev -L
000:00.0 1166:0014 0000:0000 console
PCI device 1166:0014 (ServerWorks)
000:00.1 1166:0014 0000:0000 console
PCI device 1166:0014 (ServerWorks)
000:00.2 1166:0014 0000:0000 console
PCI device 1166:0014 (ServerWorks)
001:01.0 8086:1028 8086:34b1 vmkernelvmnic3
PCI device 8086:1028 (Intel Corporation)
001:02.0 8086:1028 8086:34b1 console vmnic0
PCI device 8086:1028 (Intel Corporation)
Also in tmp/vmkchdev.*.txt
Devices that say “console”are allocated to the console.
Devices that say vmkernelare allocated to the vmkernel.
Devices that say console and have a vmdevice designation are shared.
Same information is also in etc/vmware/hwconfig(i.e. host, virtual machine, shared).