Go to the source code of this file.
◆ MEMORY_TYPE_R
#define MEMORY_TYPE_R 0x1U |
Memory Types
Definition at line 39 of file memory.h.
◆ MEMORY_TYPE_W
#define MEMORY_TYPE_W 0x2U |
◆ MEMORY_TYPE_E
#define MEMORY_TYPE_E 0x4U |
◆ add_md_t
Add Memory Descriptor
- Precondition
- expects: md != nullptr
- Postcondition
- ensures: none
This is used by the driver entry to add an MD to VMM. The driver entry will need to collect memory descriptors for every page of memory that the VMM is using so that the memory manager can provide mappings as needed.
Definition at line 76 of file memory.h.