startup_memory_unmap()

Synopsis:

void startup_memory_unmap(void *vaddr);

Description:

Same as unmap_device_memory() in the C library — remove access to a memory-mapped device at the given location.