Updated: April 19, 2023 |
Copy a chunk of memory from physical memory to another location.
void copy_memory (paddr_t dst, paddr_t src, paddr_t len)
The copy_memory() function copies len bytes of memory from physical memory at src to the address specified by dst.