void *startup_memory_map(unsigned size, paddr_t phys, unsigned prot_flags);
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).