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.