#ifndef _PAGING_H
#define _PAGING_H

#include <ubixos/types.h>

#define pageLength        0x00000400
#define pageSize          4096
#define pageEntries       (pageSize/4)
#define tablesBaseAddress   0xBFC00000
#define parentPageDirAddr   0x100000

#define PAGE_STACK          0x00000400
#define PAGE_PRESENT        0x00000001
#define PAGE_WRITE          0x00000002
#define PAGE_USER           0x00000004
#define PAGE_EXECUTE	    0x00000008
#define PAGE_DEFAULT        (PAGE_PRESENT|PAGE_WRITE|PAGE_USER)
#define KERNEL_PAGE_DEFAULT (PAGE_PRESENT|PAGE_WRITE)

void _vmm_pageFault();

#endif
