int efi_copyout(vaddr_t va, void *dst, size_t len) { bcopy((void *)efimd_va2pa(va), dst, len); return (len); }
int efi_copyout(vaddr_t va, void *dst, size_t len) { memcpy(dst, (void *)efimd_va2pa(va), len); return (len); }
int efi_copyin(void *src, vaddr_t va, size_t len) { bcopy(src, (void *)efimd_va2pa(va), len); return (len); }
int efi_copyin(void *src, vaddr_t va, size_t len) { memcpy((void *)efimd_va2pa(va), src, len); return (len); }
int efi_readin(int fd, vaddr_t va, size_t len) { return (read(fd, (void *)efimd_va2pa(va), len)); }