* @paddr: source physical address
* @len: length to copy
*/
-void copy_from_paddr(void *dst, paddr_t paddr, unsigned long len, int attrindx)
+void copy_from_paddr(void *dst, paddr_t paddr, unsigned long len)
{
void *src = (void *)FIXMAP_ADDR(FIXMAP_MISC);
s = paddr & (PAGE_SIZE-1);
l = min(PAGE_SIZE - s, len);
- set_fixmap(FIXMAP_MISC, p, attrindx);
+ set_fixmap(FIXMAP_MISC, p, BUFFERABLE);
memcpy(dst, src + s, l);
clean_xen_dcache_va_range(dst, l);
dst = map_domain_page(ma>>PAGE_SHIFT);
- copy_from_paddr(dst + s, paddr + offs, l, BUFFERABLE);
+ copy_from_paddr(dst + s, paddr + offs, l);
unmap_domain_page(dst);
offs += l;
if ( size < sizeof(zimage) )
return -EINVAL;
- copy_from_paddr(&zimage, addr, sizeof(zimage), DEV_SHARED);
+ copy_from_paddr(&zimage, addr, sizeof(zimage));
if ( zimage.magic0 != ZIMAGE64_MAGIC_V0 &&
zimage.magic1 != ZIMAGE64_MAGIC_V1 )
if ( size < ZIMAGE32_HEADER_LEN )
return -EINVAL;
- copy_from_paddr(zimage, addr, sizeof(zimage), DEV_SHARED);
+ copy_from_paddr(zimage, addr, sizeof(zimage));
if (zimage[ZIMAGE32_MAGIC_OFFSET/4] != ZIMAGE32_MAGIC)
return -EINVAL;
*/
if ( addr + end - start + sizeof(dtb_hdr) <= size )
{
- copy_from_paddr(&dtb_hdr, addr + end - start,
- sizeof(dtb_hdr), DEV_SHARED);
+ copy_from_paddr(&dtb_hdr, addr + end - start, sizeof(dtb_hdr));
if (be32_to_cpu(dtb_hdr.magic) == DTB_MAGIC) {
end += be32_to_cpu(dtb_hdr.total_size);
if ( info->kernel_img == NULL )
panic("Cannot allocate temporary buffer for kernel");
- copy_from_paddr(info->kernel_img, addr, size, BUFFERABLE);
+ copy_from_paddr(info->kernel_img, addr, size);
if ( (rc = elf_init(&info->elf.elf, info->kernel_img, size )) != 0 )
goto err;
/* Copy the DTB. */
fdt = mfn_to_virt(alloc_boot_pages(dtb_pages, 1));
- copy_from_paddr(fdt, dtb_paddr, dtb_size, BUFFERABLE);
+ copy_from_paddr(fdt, dtb_paddr, dtb_size);
device_tree_flattened = fdt;
/* Add non-xenheap memory */
/* Copy the DTB. */
fdt = mfn_to_virt(alloc_boot_pages(dtb_pages, 1));
- copy_from_paddr(fdt, dtb_paddr, dtb_size, BUFFERABLE);
+ copy_from_paddr(fdt, dtb_paddr, dtb_size);
device_tree_flattened = fdt;
setup_frametable_mappings(ram_start, ram_end);