Changeset View

Standalone View

	Show All 33 Lines
	#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

	/* Block and Page attributes */			/* Block and Page attributes */
	/* TODO: Add the upper attributes */
	#define ATTR_MASK_H UINT64_C(0xfff0000000000000)			#define ATTR_MASK_H UINT64_C(0xfff0000000000000)
	#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_UNUSED (1UL << 58)
				#define _ATTR_SW_DBM (1UL << 57)
	#define ATTR_SW_MANAGED (1UL << 56)			#define ATTR_SW_MANAGED (1UL << 56)
	#define ATTR_SW_WIRED (1UL << 55)			#define ATTR_SW_WIRED (1UL << 55)
	#define ATTR_UXN (1UL << 54)			#define ATTR_UXN (1UL << 54)
	#define ATTR_PXN (1UL << 53)			#define ATTR_PXN (1UL << 53)
	#define ATTR_XN (ATTR_PXN \| ATTR_UXN)			#define ATTR_XN (ATTR_PXN \| ATTR_UXN)
	#define ATTR_CONTIGUOUS (1UL << 52)			#define ATTR_CONTIGUOUS (1UL << 52)
	#define ATTR_DBM (1UL << 51)			#define ATTR_DBM (1UL << 51)
	#define ATTR_nG (1 << 11)			#define ATTR_nG (1 << 11)
	▲ Show 20 Lines • Show All 76 Lines • Show Last 20 Lines