xref: /linux/arch/s390/include/asm/page-states.h (revision 0ea5c948cb64bab5bc7a5516774eb8536f05aa0d)
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 
24 extern int __bootdata_preserved(cmma_flag);
25 
essa(unsigned long paddr,unsigned char cmd)26 static __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 
__set_page_state(void * addr,unsigned long num_pages,unsigned char cmd)38 static __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 
__set_page_unused(void * addr,unsigned long num_pages)48 static inline void __set_page_unused(void *addr, unsigned long num_pages)
49 {
50 	__set_page_state(addr, num_pages, ESSA_SET_UNUSED);
51 }
52 
__set_page_stable_dat(void * addr,unsigned long num_pages)53 static 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 
__set_page_stable_nodat(void * addr,unsigned long num_pages)58 static 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 
__arch_set_page_nodat(void * addr,unsigned long num_pages)63 static 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 
__arch_set_page_dat(void * addr,unsigned long num_pages)73 static 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