#include <core.h>
Go to the source code of this file.
Defines | |
#define | __LSEOS_MAIN_H__ 1 |
#define | MAP_TO_PT2(Vaddr, Paddr, Flags) |
#define | UNMAP_FROM_PT2(Vaddr) |
|
|
|
Value: ((pt_entry_t *)vpt2)\ [(pt_entry_t)((((Vaddr) & PG_FRAME) & PT_MASK) >> 12)] =\ (Paddr) | ((Flags) & ~PG_FRAME); |
|
Value: ((pt_entry_t *)vpt2)\ [(pt_entry_t)((((Vaddr) & PG_FRAME) & PT_MASK) >> 12)] =\ 0; |