Maximum SPI clock frequency

I’ve been looking over the GHI docs for USBizi and the LPC2388 manual and can’t seem to locate what the maximum SPI clock frequency is. Any idea?

I think it is system clock/2 so it is 72/2=36Mhz

Thanks!