cp_start
cp_start();
void cp_start(void);
vaddr_t cp_start;
cp_start = entry->start;
if (cp_start < start) {
cp_off = start - cp_start;
cp_start = start;
cp_len = MIN(entry->end, end) - cp_start;
cp_start - start + dstaddr, cp_len, cp_off,
vaddr_t cp_start, cp_end;
cp_start = MAX(entry->start, start);
for (; cp_start != cp_end; cp_start += PAGE_SIZE) {
cp_start - entry->start);
cp_start - entry->start);
cp_start = MAX(entry->start, start);
cp_start - entry->start + entry->offset,