/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */

#ifndef __SOC_ROCKCHIP_RK3288_TSADC_H__
#define __SOC_ROCKCHIP_RK3288_TSADC_H__

void tsadc_init(void);

#endif
