startup_memory_unmap()

void startup_memory_unmap(void *vaddr);

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