/* Keep track of the last time we synchronized the time with the Phy  */
void phy_sync_ctrl_set_last_phy_sync_time(bs_time_t time)
/* Keep track of the last time we synchronized the time with the Phy  */
void phy_sync_ctrl_set_last_phy_sync_time(bs_time_t time)
{
	last_resync_time = time;
	psc_program_next_event();
}