Lines Matching defs:dtb
38 void read_platform_config_from_dt(void *dtb)
57 node = fdt_path_offset(dtb, "/intc");
62 data = fdt_getprop(dtb, node, "reg", NULL);
67 err = fdt_get_reg_props_by_index(dtb, node, 0, &gicd_base, NULL);
74 err = fdt_get_reg_props_by_index(dtb, node, 1, &gicr_base, NULL);
83 node = fdt_path_offset(dtb, "/intc/its");
88 err = fdt_get_reg_props_by_index(dtb, node, 0, &gic_its_addr, NULL);
96 void read_platform_version(void *dtb)
100 node = fdt_path_offset(dtb, "/");
102 platform_version_major = fdt32_ld(fdt_getprop(dtb, node,
104 platform_version_minor = fdt32_ld(fdt_getprop(dtb, node,
113 void *dtb = (void *)(uintptr_t)ARM_PRELOADED_DTB_BASE;
116 err = fdt_open_into(dtb, dtb, PLAT_QEMU_DT_MAX_SIZE);
118 ERROR("Invalid Device Tree at %p: error %d\n", dtb, err);
122 err = fdt_check_header(dtb);
128 read_platform_version(dtb);
131 read_platform_config_from_dt(dtb);