/* SPDX-License-Identifier: BSD-2-Clause */
/*
 * Copyright (c) 2022, Linaro Limited
 */

#ifndef __DRIVERS_HFIC_H
#define __DRIVERS_HFIC_H

void hfic_init(void);

#endif /*__DRIVERS_HFIC_H*/