/*
 * Copyright (c) 2016 - 2020, Broadcom
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef TIMER_SYNC_H
#define TIMER_SYNC_H

void brcm_timer_sync_init(void);

#endif