Functions | |
static void | dde_add_region (struct dde_region **head, l4_addr_t va, l4_addr_t pa, l4_size_t size) |
Internal Region Addition. | |
static void | dde_remove_region (struct dde_region **head, l4_addr_t va, l4_addr_t pa, l4_size_t size) |
Internal Region Removal. |
static void dde_add_region | ( | struct dde_region ** | head, | |
l4_addr_t | va, | |||
l4_addr_t | pa, | |||
l4_size_t | size | |||
) | [inline, static] |
Internal Region Addition.
head | head of region list | |
va | virtual start address | |
pa | physical start address | |
size | region size |
Definition at line 49 of file internal.h.
static void dde_remove_region | ( | struct dde_region ** | head, | |
l4_addr_t | va, | |||
l4_addr_t | pa, | |||
l4_size_t | size | |||
) | [inline, static] |
Internal Region Removal.
head | head of region list | |
va | virtual start address | |
pa | physical start address | |
size | region size |
Definition at line 79 of file internal.h.