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