#ifndef _SYS_PTE_H
#define _SYS_PTE_H
#ifndef _ASM
#include <sys/types.h>
#endif
#ifdef __cplusplus
extern "C" {
#endif
#ifndef _ASM
#ifdef PTE36
typedef uint64_t pteval_t;
typedef pteval_t *pteptr_t;
#define PRPTEx "llx"
typedef struct pte32 {
uint32_t Present:1;
uint32_t AccessPermissions:2;
uint32_t WriteThru:1;
uint32_t NonCacheable:1;
uint32_t Referenced:1;
uint32_t Modified:1;
uint32_t MustBeZero:1;
uint32_t GlobalEnable:1;
uint32_t OSReserved:3;
uint32_t PhysicalPageNumber:20;
} pte32_t;
typedef struct pte {
uint32_t Present:1;
uint32_t AccessPermissions:2;
uint32_t WriteThru:1;
uint32_t NonCacheable:1;
uint32_t Referenced:1;
uint32_t Modified:1;
uint32_t MustBeZero:1;
uint32_t GlobalEnable:1;
uint32_t OSReserved:3;
uint32_t PhysicalPageNumberL:20;
uint32_t PhysicalPageNumberH;
} pte_t;
struct pte64 {
uint32_t pte64_0_31;
uint32_t pte64_32_64;
};
#define NPTESHIFT 9
#define NPTEPERPT 512
#define PTSIZE (NPTEPERPT * MMU_PAGESIZE)
#else
typedef uint32_t pteval_t;
typedef pteval_t *pteptr_t;
#define PRPTEx "x"
typedef struct pte {
uint_t Present:1;
uint_t AccessPermissions:2;
uint_t WriteThru:1;
uint_t NonCacheable:1;
uint_t Referenced:1;
uint_t Modified:1;
uint_t MustBeZero:1;
uint_t GlobalEnable:1;
uint_t OSReserved:3;
uint_t PhysicalPageNumber:20;
} pte_t;
#define pte32_t pte_t
#define NPTESHIFT 10
#define NPTEPERPT 1024
#define PTSIZE (NPTEPERPT * MMU_PAGESIZE)
#endif
#define PTE_VALID 0x01
#define PTE_LARGEPAGE 0x80
#define PTE_SRWX 0x02
#endif
#ifdef __cplusplus
}
#endif
#endif