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.