TPSM846C24: Synchronizing with a LMZ31710

I have a design that uses a LMZ31710 and a TPSM846C24, being driven from the same 12V input. The TPSM device outputs a selectable value between .7V and .88V, while the LMZ device outputs 2.5V. The goal is to  synchronize these devices with the same 800 MHz clock out of phase by 180 degrees. The LMZ31710 datasheet mentions the SYNC_OUT pin can synchronize with another LMZ device this way, but it gives no specs on the output clock signal so I can't be sure from that info it'll work with the TPSM. Alternatively, the SYNC pin of the TPSM can be used as an output but the datasheet on that device gives no info about using it as an output. So my question is whether using either an output clock from the LMZ, or from the TPSM will work to synchronize the two devices.

Thanks, 

Jared