Searched refs:fdt_max_size (Results 1 – 1 of 1) sorted by relevance
1433 size_t fdt_max_size = CFG_DTB_MAX_SIZE; in boot_save_args() local1454 fdt_max_size = VCORE_START_VA - (unsigned long)fdt; in boot_save_args()1456 init_manifest_dt(fdt, fdt_max_size); in boot_save_args()