/*
 * Copyright 2014 Broadcom Corporation.
 *
 * SPDX-License-Identifier:	GPL-2.0+
 */

#ifndef __ARMPLL_H
#define __ARMPLL_H

#include <linux/types.h>

uint32_t armpll_config(uint32_t clkmhz);

#endif /*__ARMPLL_H */
