paging.h

Go to the documentation of this file.

 
#ifndef __PAGING_H__
#define __PAGING_H__
 
#include "physm.h"
 
#define PAGE_ATTRIBUTE_WRITABLE 0x2
#define PAGE_ATTRIBUTE_NO_EXECUTE 0x80000
#define PAGE_ATTRIBUTE_NO_PAGING  0x100000
#define PAGE_ATTRIBUTE_NO_CACHING 0x200000
 
/*
 * XEInitialisePaging -- initialise paging
 */
extern void XEInitialisePaging();
 
 
/*
 * check_free -- check free memory area
 */
extern bool check_free(void* vaddr, size_t length);
/*
 * XEPagingMap -- maps range of physical memory to virtual memory
 * @param vaddr -- virtual address start
 * @param paddr -- Physical address start
 * @param length -- length of the area
 * @param attributes -- paging attributes to set
 */
extern bool XEPagingMap(void* vaddr, paddr_t paddr, size_t length, size_t attributes);
 
extern void set_paging_attributes(void* vaddr, size_t length, size_t attrset, size_t attrclear);
 
#endif