Virtual page-table facility

Functions

Public functions

dde_kit_pgtab_clear_region

Clear virtual->physical mapping for VM region

Argument
void * virt Virtual start address for region

dde_kit_pgtab_get_physaddr

Get physical address for virtual address

Argument
void * virt Virtual address
Return

dde_kit_addr_t Physical address

dde_kit_pgtab_get_size

Get size of VM region.

Argument
void * virt Virtual address
Return

dde_kit_size_t Vm region size (in bytes)

dde_kit_pgtab_get_virtaddr

Get virtual address for physical address

Argument
dde_kit_addr_t phys Physical address
Return

dde_kit_addr_t Virtual address

dde_kit_pgtab_set_region

Set virtual->physical mapping for VM pages

Arguments
void * virt Virtual start address for region
dde_kit_addr_t phys Physical start address for region

dde_kit_pgtab_set_region_with_size

Set virtual->physical mapping for VM region

Arguments
void * virt Virtual start address for region
dde_kit_addr_t phys Physical start address for region
dde_kit_size_t size Number of bytes in region
© 2010 Genode Labs