1/* SPDX-License-Identifier: GPL-2.0 */
2/*
3 *    Copyright IBM Corp. 2017
4 *    Author(s): Claudio Imbrenda <imbrenda@linux.vnet.ibm.com>
5 */
6
7#ifndef PAGE_STATES_H
8#define PAGE_STATES_H
9
10#include <asm/sections.h>
11#include <asm/page.h>
12
13#define ESSA_GET_STATE			0
14#define ESSA_SET_STABLE			1
15#define ESSA_SET_UNUSED			2
16#define ESSA_SET_VOLATILE		3
17#define ESSA_SET_POT_VOLATILE		4
18#define ESSA_SET_STABLE_RESIDENT	5
19#define ESSA_SET_STABLE_IF_RESIDENT	6
20#define ESSA_SET_STABLE_NODAT		7
21
22#define ESSA_MAX	ESSA_SET_STABLE_NODAT
23
24extern int __bootdata_preserved(cmma_flag);
25
26static __always_inline unsigned long essa(unsigned long paddr, unsigned char cmd)
27{
28	unsigned long rc;
29
30	asm volatile(
31		"	.insn	rrf,0xb9ab0000,%[rc],%[paddr],%[cmd],0"
32		: [rc] "=d" (rc)
33		: [paddr] "d" (paddr),
34		  [cmd] "i" (cmd));
35	return rc;
36}
37
38static __always_inline void __set_page_state(void *addr, unsigned long num_pages, unsigned char cmd)
39{
40	unsigned long paddr = __pa(addr) & PAGE_MASK;
41
42	while (num_pages--) {
43		essa(paddr, cmd);
44		paddr += PAGE_SIZE;
45	}
46}
47
48static inline void __set_page_unused(void *addr, unsigned long num_pages)
49{
50	__set_page_state(addr, num_pages, ESSA_SET_UNUSED);
51}
52
53static inline void __set_page_stable_dat(void *addr, unsigned long num_pages)
54{
55	__set_page_state(addr, num_pages, ESSA_SET_STABLE);
56}
57
58static inline void __set_page_stable_nodat(void *addr, unsigned long num_pages)
59{
60	__set_page_state(addr, num_pages, ESSA_SET_STABLE_NODAT);
61}
62
63static inline void __arch_set_page_nodat(void *addr, unsigned long num_pages)
64{
65	if (!cmma_flag)
66		return;
67	if (cmma_flag < 2)
68		__set_page_stable_dat(addr, num_pages);
69	else
70		__set_page_stable_nodat(addr, num_pages);
71}
72
73static inline void __arch_set_page_dat(void *addr, unsigned long num_pages)
74{
75	if (!cmma_flag)
76		return;
77	__set_page_stable_dat(addr, num_pages);
78}
79
80#endif
81