get_fdt
dtb = get_fdt();
dtb = get_fdt();
dtb = get_fdt();
fdt = (void *)get_fdt();
dtb = get_fdt();
dtb = get_fdt();
dtb = get_fdt();
void *get_fdt(unsigned long *fdt_size);
fdt_addr = (uintptr_t)get_fdt(&fdt_size);