IntelPageTable.cpp File Reference

#include "IntelConstant.h"
#include "IntelPageTable.h"

Go to the source code of this file.

Macros
#define	PAGE_NONE   0
#define	PAGE_PRESENT   1
#define	PAGE_READ   0
#define	PAGE_EXEC   0
#define	PAGE_WRITE   2
#define	PAGE_USER   4
#define	TABENTRY(vaddr)   (((vaddr) >> PAGESHIFT) & 0x3ff)
	Entry inside the page table of a given virtual address. More...

Macro Definition Documentation

PAGE_EXEC

#define PAGE_EXEC   0

Definition at line 24 of file IntelPageTable.cpp.

PAGE_NONE

#define PAGE_NONE   0

Definition at line 21 of file IntelPageTable.cpp.

PAGE_PRESENT

#define PAGE_PRESENT   1

Definition at line 22 of file IntelPageTable.cpp.

PAGE_READ

#define PAGE_READ   0

Definition at line 23 of file IntelPageTable.cpp.

PAGE_USER

#define PAGE_USER   4

Definition at line 26 of file IntelPageTable.cpp.

PAGE_WRITE

#define PAGE_WRITE   2

Definition at line 25 of file IntelPageTable.cpp.

TABENTRY

#define TABENTRY

(

vaddr

)

(((vaddr) >> PAGESHIFT) & 0x3ff)

Entry inside the page table of a given virtual address.

Parameters

vaddr

Virtual Address.

Returns

Index of the corresponding page table entry.

Definition at line 35 of file IntelPageTable.cpp.