pvbcopy
pvbcopy((void *)0x475, &n, 1);
pvbcopy((void *)mbp->mbp_marks[MARK_SYM], &ehdr, sizeof(ehdr));
pvbcopy((void *)shaddr, shbuf, shlen);
pvbcopy((void *)shdr, mbt + 1, shdr_len);
pvbcopy((void *)(vaddr_t)rsdp_phys, &rsdp, sizeof(rsdp));
pvbcopy((void *)(vaddr_t)rsdp_phys, mbt->rsdp, sizeof(rsdp));
pvbcopy((void *)(vaddr_t)rsdp_phys, &rsdp, sizeof(rsdp));
pvbcopy((void *)(vaddr_t)rsdp_phys, mbt->rsdp, sizeof(rsdp));
pvbcopy(cp, line, sizeof(line));
pvbcopy(smbios3_phys, &smbios3, sizeof(smbios3));
pvbcopy(smbios21_phys, &smbios21, sizeof(smbios21));
pvbcopy(smbios_phys, mbt->tables, smbios_len);
pvbcopy((void *)mbp->mbp_marks[MARK_SYM], &ehdr, sizeof(ehdr));
void pvbcopy(const void *, void *, size_t);
pvbcopy((void *)(0x400 + 2 * idx), &addr, 2);
pvbcopy((void *)((gci->Buffer.segment << 4) + gci->Buffer.offset),