/*
 * Copyright (c) 2018 Park Bumgyu, Samsung Electronics Co., Ltd <bumgyu.park@samsung.com>
 *
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License version 2 as
 * published by the Free Software Foundation.
 */

#ifndef CPUIDLE_PROFILE_H
#define CPUIDLE_PROFILE_H __FILE__

#include <linux/ktime.h>
#include <linux/cpuidle.h>

#include <asm/cputype.h>

extern void cpuidle_profile_cpu_idle_enter(int cpu, int index);
extern void cpuidle_profile_cpu_idle_exit(int cpu, int index, int cancel);
extern void cpuidle_profile_cpu_idle_register(struct cpuidle_driver *drv);
extern void cpuidle_profile_group_idle_enter(int id);
extern void cpuidle_profile_group_idle_exit(int id, int cancel);
extern void cpuidle_profile_group_idle_register(int id, const char *name);
extern void cpuidle_profile_idle_ip(int index, unsigned int idle_ip);

#endif /* CPUIDLE_PROFILE_H */