/* SPDX-License-Identifier: GPL-2.0+ */
/*
* Copyright 2014 Broadcom Corporation.
*/
#ifndef __ARMPLL_H
#define __ARMPLL_H
#include <linux/types.h>
uint32_t armpll_config(uint32_t clkmhz);
#endif /*__ARMPLL_H */