copy_memory()

Copy a chunk of memory from physical memory to another location.

Synopsis:

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

Arguments:

dst
The address in memory where the chunk of memory is to be copied.
src
The address in memory with the chunk of memory to be copied to the location at dst.
len
The number of bytes of memory to copy from src to dst.

Description:

The copy_memory() function copies len bytes of memory from physical memory at src to the address specified by dst.