1 /* SPDX-License-Identifier: GPL-2.0-only */
2 /*
3  * s390x processor specific defines
4  */
5 #ifndef SELFTEST_KVM_PROCESSOR_H
6 #define SELFTEST_KVM_PROCESSOR_H
7 
8 /* Bits in the region/segment table entry */
9 #define REGION_ENTRY_ORIGIN	~0xfffUL /* region/segment table origin	   */
10 #define REGION_ENTRY_PROTECT	0x200	 /* region protection bit	   */
11 #define REGION_ENTRY_NOEXEC	0x100	 /* region no-execute bit	   */
12 #define REGION_ENTRY_OFFSET	0xc0	 /* region table offset		   */
13 #define REGION_ENTRY_INVALID	0x20	 /* invalid region table entry	   */
14 #define REGION_ENTRY_TYPE	0x0c	 /* region/segment table type mask */
15 #define REGION_ENTRY_LENGTH	0x03	 /* region third length		   */
16 
17 /* Bits in the page table entry */
18 #define PAGE_INVALID	0x400		/* HW invalid bit    */
19 #define PAGE_PROTECT	0x200		/* HW read-only bit  */
20 #define PAGE_NOEXEC	0x100		/* HW no-execute bit */
21 
22 #endif
23