vmmngr.h

Go to the documentation of this file.

 
#ifndef __VMMNGR_H__
#define __VMMNGR_H__
 
#include "littleboot.h"
 
#define PTE_VALID (1ULL << 0)
#define PTE_TABLE (1ULL << 1)
#define PTE_BLOCK (0ULL << 1)
#define PTE_AF    (1ULL << 10)
#define PTE_SH_INNER (3ULL << 8)
#define PTE_AP_RW   (0ULL << 6)
#define PTE_ATTR_IDX_0 (0ULL << 2)
#define PTE_ATTR_IDX_1 (1ULL << 2)
#define PTE_SH_NONE (0 << 8)
#define PTE_DEVICE PTE_ATTR_IDX_0
#define PTE_NORMAL PTE_ATTR_IDX_1
 
/*
 * LBPagingInitialize -- initialize paging
 */
extern void LBPagingInitialize();
 
/*
 * LBPagingMap -- maps a virtual address to its physical
 * address
 * @param virtual -- virtual address to map
 * @param physical -- physical address to map
 */
extern void LBPagingMap(uint64_t virtual, uint64_t physical);
 
extern void LBPageTableWalk(uint64_t virtual);
 
/*
 * LBPagingFree -- free up a mapping
 * @param virt_addr -- virtual address to free
 * @param free_physical -- boolean value whether to free up
 * the physical address or not
 */
extern void LBPagingFree(uint64_t virt_addr, bool free_physical);
 
#endif