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