Go to the documentation of this file.
39 #define STACK_ADDR 0xBFFFFFFF//0xC800000 // Default App Stack Address
50 #define VMM_MMAP_ADDR_PMODE VMM_KERN_START
51 #define VMM_MMAP_ADDR_RMODE 0x101000
53 #define VMM_KERN_CODE_START 0x00000000
54 #define VMM_KERN_CODE_END 0x007FEFFF
56 #define VMM_USER_LDT 0x007FF000
58 #define VMM_USER_START 0x00800000
59 #define VMM_USER_END 0xBFFFFFFF
61 #define VMM_PAGE_DIRS 0xC0000000
62 #define VMM_PAGE_DIR 0xC0400000
64 #define VMM_KERN_START 0xC0800000 //TMP ADDED 1000
65 #define VMM_KERN_END 0xFDFFFFFF
67 #define VMM_KERN_STACK_START 0xFE000000
68 #define VMM_KERN_STACK_END 0xFFFFFFFF
char addr_r_[PADR_(caddr_t)]
int freePage(uint32_t pageAddr)
char addr_l_[PADL_(caddr_t)]
void vmm_freeProcessPages(pidType pid)
int adjustCowCounter(uint32_t baseAddr, int adjustment)
char pos_r_[PADR_(off_t)]
void vmm_unmapPage(uint32_t, unmapFlags_t)
uint32_t vmm_findFreePage(pidType pid)
char len_r_[PADR_(size_t)]
struct spinLock pdSpinLock
void vmm_unmapPages(void *, uint32_t, unmapFlags_t)
char flags_r_[PADR_(int)]
char flags_l_[PADL_(int)]
char len_l_[PADL_(size_t)]
char pos_l_[PADL_(off_t)]
int vmm_allocPageTable(uint32_t, pidType)