copy_memory()

void copy_memory (paddr_t dst, 
                  paddr_t src, 
                  paddr_t len)

Copy len bytes of memory from physical memory at src to dst.