Searched refs:fdt_size (Results 1 – 1 of 1) sorted by relevance
| /trusty/kernel/platform/generic-arm64/ |
| D | platform.c | 82 size_t fdt_size = fdt_totalsize(fdt); in generic_arm64_reserve_device_tree() local
84 fdt_size += fdt_paddr & (PAGE_SIZE - 1); in generic_arm64_reserve_device_tree()
85 uint fdt_page_count = DIV_ROUND_UP(fdt_size, PAGE_SIZE); in generic_arm64_reserve_device_tree()
157 size_t fdt_size; in platform_after_vm_init()
173 fdt_size = fdt_totalsize(fdt); in platform_after_vm_init()
174 if (fdt_size > PAGE_SIZE) { in platform_after_vm_init()
175 dprintf(INFO, "remapping device tree with size 0x%zx\n", fdt_size); in platform_after_vm_init()
178 vmm_get_kernel_aspace(), "device_tree_full", fdt_size, &fdt, 0, in platform_after_vm_init()
185 fdt_paddr, fdt_size, ret); in platform_after_vm_init()
|