Updated: October 28, 2024 |
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.