#include <oskit/smp.h>oskit_addr_t smp_map_range(oskit_addr_t start, oskit_size_t size);
This function is a hook provided by the host OS to allow the SMP library to request physical memory be mapped into its virtual address space. This is called by smp_init_paging.Note that this could be implemented using osenv_mem_map_phys.
The virtual address where the physical pages are mapped. Returns zero if unable to map the memory.