Confusion related to XMOS SD Card source (sc_sdcard)

[jagspaul]

I am bit puzzled to see the sc_sdcard code.

As per my knowledge the source is using SPI (Not SD) mode.

Why I claim it is SPI:

1) Data sending and receiving done without start bit (logic 0) and end bit (logic 1).
2) CRC has not been considered.
3) Data and command is send through MOSI port and received through MISO port.

But I puzzle firstly not to see any code to take the card into SPI mode during initialization. Actually to set SPI mode the CS pin must be low during CMD0 but here I found CS=high. Secondly to set off CRC CMD59 with args=0 has to be issued but I did not find it.

Can any body tell me how the source is working????

Regards
jags