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     (1ULL << 53)
#define PAGE_TABLE_ENTRY_UXN     (1ULL << 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 XEPagingInstallPhysicalDirectMap();
 
/* Checks if a virtual page is already mapped to prevent overwriting during PE section overlapping */
extern bool XEPagingIsMapped(uint64_t virtualAddr);
 
extern void XEMapMMIO(uint64_t* l1_table, uint64_t va, uint64_t pa);
 
extern void XEPagingCopy();
#endif