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.