startup_memory_unmap()

Updated: April 19, 2023

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.