#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 | |||
) |