Meet issue when enabling Avalon memory mapped IP on S10 GX dev kit card

When I follow https://www.intel.com/content/www/us/en/docs/programmable/683527/21-1/generating-the-design-example.html Chapter 2.6. Installing the Linux Kerbel Driver to install driver for S10 dev kit card and want to verify the driver is installed correctly.

So I run the command,

$ lsmod | grep intel_fpga_pcie_drv

then the output is,

intel_fpga_pcie_drv 32768 0

Next command is $ lspci -d 1172:000 -v | grep intel_fpga_pcie_drv, while there is no output. I'm not sure if the vendor and device id in the guide is suitable for this card, so I just run

$ lspci | grep intel_fpga_pcie_drv

and also no output.

I went to the example folder to test whether the example design could work. No matter I chose to automatiaclly select a device or to mannually select the device following the guide, the design could not work.

Also I'm wondering whether the card is detected via PCIe port by the host machine. Because when I run $ lscpi, I cannot find a device description which seems for the S10 dev kit card. Are there a set of PCI IDs for S10 dev kit card so that I can check if the card can be detected as a PCIe device?

Thank you.