Portenta H7 lite + VL53l8CX SPI

I have a Arduino Portenta H7 lite and I am using Arduino IDE to program it to read data from VL53L8CX.

I am able to read data over I2C. But for SPI, I am getting the following error
error: no matching function for call to 'arduino::HardwareSPI::HardwareSPI(int, int, int)'
SPIClass DEV_SPI(SPI_MOSI_PIN, SPI_MISO_PIN, SPI_CLK_PIN);

Github code that I am using.

The HelloWorld_I2C example works well.

The HelloWorld_SPI throws error for SPIClass.

How can I resolve it?