fdt_get_size
if (fdt_get_size(config) != 0) {
uint32_t csize, size = round_page(fdt_get_size(config));
if (!fdt_get_size(fdt))
len = roundup(fdt_get_size(fdt) + PAGE_SIZE, PAGE_SIZE);
memcpy((void *)addr, fdt, fdt_get_size(fdt));
cpu_flush_dcache((vaddr_t)fdt, fdt_get_size(fdt));
size_t fdt_get_size(void *);
if (!fdt_init(config) || fdt_get_size(config) == 0)
size = fdt_get_size(config);
round_page(fdt_get_size((void *)fdt.pv_pa)),
if (!fdt_get_size(fdt))
len = roundup(fdt_get_size(fdt) + PAGE_SIZE, PAGE_SIZE);
memcpy((void *)addr, fdt, fdt_get_size(fdt));
size_t fdt_get_size(void *);
if (fdt_init(fdt) != 0 && (fdt_size = fdt_get_size(fdt)) != 0) {
if (!fdt_init(fdt) || fdt_get_size(fdt) == 0)
fdt_size = fdt_get_size(fdt);
reg.size = round_page((paddr_t)fdt + fdt_get_size(fdt)) - reg.addr;
if (!fdt_init(fdt) || fdt_get_size(fdt) == 0)
if (fdt_get_size(config) != 0) {
uint32_t csize, size = round_page(fdt_get_size(config));
if (!fdt_get_size(fdt))
len = roundup(fdt_get_size(fdt) + PAGE_SIZE, PAGE_SIZE);
memcpy((void *)addr, fdt, fdt_get_size(fdt));
cpu_flush_dcache((vaddr_t)fdt, fdt_get_size(fdt));
size_t fdt_get_size(void *);
size_t fdt_get_size(void *);