paging.h

Go to the documentation of this file.

 
#ifndef __PAGING_H__
#define __PAGING_H__
 
#include <stdint.h>
 
/* memory attributes*/
#define PAGE_TABLE_ENTRY_PRESENT (1UL << 0)
#define PAGE_TABLE_ENTRY_BLOCK (0UL << 1)
#define PAGE_TABLE_ENTRY_PAGE (1UL << 1)
#define PAGE_TABLE_ENTRY_AF  (1UL << 10)
#define PAGE_TABLE_ENTRY_SH (3UL << 8)
#define PAGE_TABLE_ENTRY_SH_NONE (0UL << 8)
#define PAGE_TABLE_ENTRY_AP_RW (0UL << 6)
#define PAGE_TABLE_ENTRY_MEMATTR (1UL << 2)
#define PAGE_TABLE_ENTRY_PXN (1UL << 53)
#define PAGE_TABLE_ENTRY_UXN (1UL << 54)
#define PAGE_TABLE_ENTRY_DEVICE (0ULL << 2)
 
#define PAGE_FLAGS (PAGE_TABLE_ENTRY_PRESENT | PAGE_TABLE_ENTRY_PAGE | PAGE_TABLE_ENTRY_AF | \
PAGE_TABLE_ENTRY_SH | PAGE_TABLE_ENTRY_AP_RW | PAGE_TABLE_ENTRY_MEMATTR);
 
/*
 * XEPagingInitialize -- initialize paging
 */
extern void XEPagingInitialize();
 
/*
 * XEPagingMap -- maps a physical address to virtual address
 * @param virtualAddr -- virtual address
 * @param physAddr -- physical address
 */
extern void XEPagingMap(uint64_t virtualAddr, uint64_t physAddr);
 
 
extern void XEPagingCopy();
#endif