Changeset View
Changeset View
Standalone View
Standalone View
sys/arm64/include/pte.h
Show All 32 Lines | ||||||||||
#ifndef _MACHINE_PTE_H_ | #ifndef _MACHINE_PTE_H_ | |||||||||
#define _MACHINE_PTE_H_ | #define _MACHINE_PTE_H_ | |||||||||
#ifndef LOCORE | #ifndef LOCORE | |||||||||
typedef uint64_t pd_entry_t; /* page directory entry */ | typedef uint64_t pd_entry_t; /* page directory entry */ | |||||||||
typedef uint64_t pt_entry_t; /* page table entry */ | typedef uint64_t pt_entry_t; /* page table entry */ | |||||||||
#endif | #endif | |||||||||
/* Table attributes */ | ||||||||||
alcUnsubmitted Not Done Inline Actions
alc: | ||||||||||
#define TATTR_MASK UINT64_C(0xfff8000000000000) | ||||||||||
#define TATTR_AP_TABLE_MASK (3UL << 61) | ||||||||||
#define TATTR_AP_TABLE_RO (2UL << 61) | ||||||||||
#define TATTR_AP_TABLE_NO_EL0 (1UL << 61) | ||||||||||
#define TATTR_UXN_TABLE (1UL << 60) | ||||||||||
#define TATTR_PXN_TABLE (1UL << 59) | ||||||||||
/* Bits 58:51 are ignored */ | ||||||||||
/* Block and Page attributes */ | /* Block and Page attributes */ | |||||||||
#define ATTR_MASK_H UINT64_C(0xfffc000000000000) | #define ATTR_MASK_H UINT64_C(0xfffc000000000000) | |||||||||
#define ATTR_MASK_L UINT64_C(0x0000000000000fff) | #define ATTR_MASK_L UINT64_C(0x0000000000000fff) | |||||||||
#define ATTR_MASK (ATTR_MASK_H | ATTR_MASK_L) | #define ATTR_MASK (ATTR_MASK_H | ATTR_MASK_L) | |||||||||
/* Bits 58:55 are reserved for software */ | /* Bits 58:55 are reserved for software */ | |||||||||
#define ATTR_SW_UNUSED2 (1UL << 58) | #define ATTR_SW_UNUSED2 (1UL << 58) | |||||||||
#define ATTR_SW_UNUSED1 (1UL << 57) | #define ATTR_SW_UNUSED1 (1UL << 57) | |||||||||
#define ATTR_SW_MANAGED (1UL << 56) | #define ATTR_SW_MANAGED (1UL << 56) | |||||||||
▲ Show 20 Lines • Show All 109 Lines • Show Last 20 Lines |