Data Structures | Macros | Typedefs
memory.h File Reference

Go to the source code of this file.

Data Structures

struct  memory_descriptor
 

Macros

#define MEMORY_TYPE_R   0x1U
 
#define MEMORY_TYPE_W   0x2U
 
#define MEMORY_TYPE_E   0x4U
 

Typedefs

typedef int64_t(* add_md_t) (struct memory_descriptor *md)
 

Macro Definition Documentation

◆ 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

Definition at line 40 of file memory.h.

◆ MEMORY_TYPE_E

#define MEMORY_TYPE_E   0x4U

Definition at line 41 of file memory.h.

Typedef Documentation

◆ add_md_t

typedef int64_t(* add_md_t) (struct memory_descriptor *md)

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.