6.12.5 osenv_mem_get_virt: find the virtual address of an allocated block

 

SYNOPSIS

oskit_addr_t osenv_mem_get_virt(oskit_addr_t pa);

DIRECTION

Component OS, Nonblocking

DESCRIPTION

Returns the virtual address of an allocated physical memory block. Can only be called with the physical address of blocks that have been allocated with osenv_mem_alloc. XXX or else what?

XXX error codes?

XXX If the Linux glue uses this, and gets and error, should the physical memory be mapped (by the glue) (if it is not in the address space) and re-try?

PARAMETERS

pa

The physical memory location.

RETURNS

Returns the VA for the mapped PA.