#include <l4/env/errno.h>
#include <l4/dde_linux/dde.h>
#include "__config.h"
#include "internal.h"
Go to the source code of this file.
Functions | |
| void | l4dde_add_region (l4_addr_t va, l4_addr_t pa, l4_size_t size) |
| Address conversion region addition. | |
| void | l4dde_remove_region (l4_addr_t va, l4_size_t size) |
| Address conversion region removal. | |
| void * | __va (volatile unsigned long paddr) |
| Convert physical to virtual memory address. | |
| unsigned long | __pa (volatile void *vaddr) |
| Convert virtual to physical memory address. | |
Variables | |
Module Variables | |
| static struct dde_region * | conv = NULL |
| region list for memory management | |
Definition in file address.c.
| void l4dde_add_region | ( | l4_addr_t | va, | |
| l4_addr_t | pa, | |||
| l4_size_t | size | |||
| ) |
| void l4dde_remove_region | ( | l4_addr_t | va, | |
| l4_size_t | size | |||
| ) |