Xilinx PCIe devices can be listed by checking for the 10ee: vendor id. EF100 PFs can be found by checking for the 0100 device type:
user@casper-dep-7db8cf4f8b-88s2l:~$ sudo lspci -d 10ee:
41:00.0 PCI bridge: Xilinx Corporation Device 913f
42:00.0 PCI bridge: Xilinx Corporation Device 9434 (rev 01)
43:00.0 Ethernet controller: Xilinx Corporation Device 0100
43:00.1 Ethernet controller: Xilinx Corporation Device 0100
user@casper-dep-7db8cf4f8b-88s2l:~$ sudo lspci -d 10ee:0100
43:00.0 Ethernet controller: Xilinx Corporation Device 0100
43:00.1 Ethernet controller: Xilinx Corporation Device 0100
user@casper-dep-7db8cf4f8b-88s2l:~$ sudo lspci -s 43:00
43:00.0 Ethernet controller: Xilinx Corporation Device 0100
43:00.1 Ethernet controller: Xilinx Corporation Device 0100
43:00.2 Mass storage controller: VTI Instruments Corporation Device 1001
43:00.3 Mass storage controller: VTI Instruments Corporation Device 1001
2x 1.76 TiB NVMe Storage
Accessible as scratch space (emptyDir volumes, or ephemeral storage)
capacity:
cpu: “64”
ephemeral-storage: 3434489352Ki
memory: 528228884Ki
pods: “110”