1/* SPDX-License-Identifier: GPL-2.0 */
 2/*
 3 *  Copyright IBM Corp. 2014
 4 *
 5 *  Author: Martin Schwidefsky <schwidefsky@de.ibm.com>
 6 */
 7
 8#ifndef _S390_IDLE_H
 9#define _S390_IDLE_H
10
11#include <linux/types.h>
12#include <linux/device.h>
13#include <linux/seqlock.h>
14
15struct s390_idle_data {
16	seqcount_t seqcount;
17	unsigned long long idle_count;
18	unsigned long long idle_time;
19	unsigned long long clock_idle_enter;
20	unsigned long long clock_idle_exit;
21	unsigned long long timer_idle_enter;
22	unsigned long long timer_idle_exit;
23};
24
25extern struct device_attribute dev_attr_idle_count;
26extern struct device_attribute dev_attr_idle_time_us;
27
28void psw_idle(struct s390_idle_data *, unsigned long);
29
30#endif /* _S390_IDLE_H */