/* * 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
