I think you need to check Arduino — Python productivity for Zynq (Pynq)
but since you are using the dedicated SPI, it may be that you don’t need to provide the pin number. Use PYNQ/spi.c at master · Xilinx/PYNQ · GitHub
remember that there are 2 SPI controllers, and the dedicated SPI pins are controlled by the 2nd SPI controller.
