startup_memory_map()

Synopsis:

void *startup_memory_map(unsigned size, 
                         paddr_t phys, 
                         unsigned prot_flags);

Description:

Same as mmap_device_io_memory() in the C library — provide access to a memory-mapped device. The value is for use during the time the startup program is running (as opposed to callout_memory_map(), which is for use after startup is completed).