/* SPDX-License-Identifier: GPL-2.0 */
/*
 * Copyright (c) 2017 MediaTek Inc.
 */

#ifndef __MTK_MENU_H__
#define __MTK_MENU_H__

extern void mcdi_heart_beat_log_dump(void);
extern void mtk_idle_dump_cnt_in_interval(void);
extern bool is_all_cpu_idle_criteria(void);

#endif /* __MTK_MENU_H__ */