1/* SPDX-License-Identifier: GPL-2.0-only */
2/*
3 * Copyright (c) 2014 Samsung Electronics Co., Ltd.
4 *              http://www.samsung.com
5*/
6
7#ifndef __CPUIDLE_EXYNOS_H
8#define __CPUIDLE_EXYNOS_H
9
10struct cpuidle_exynos_data {
11	int (*cpu0_enter_aftr)(void);
12	int (*cpu1_powerdown)(void);
13	void (*pre_enter_aftr)(void);
14	void (*post_enter_aftr)(void);
15};
16
17#endif
18