Searched refs:fdt_size (Results 1 – 3 of 3) sorted by relevance
11 void noreturn efi_xen_start(void *fdt_ptr, uint32_t fdt_size);293 int fdt_size; in fdt_increase_size() local298 fdt_size = fdt_totalsize(fdtfile->ptr); in fdt_increase_size()300 fdt_size = 0; in fdt_increase_size()302 pages = PFN_UP(fdt_size + add_size); in fdt_increase_size()311 if ( fdt_size ) in fdt_increase_size()
850 size_t fdt_size = 0; in libxl__prepare_dtb() local898 if (fdt_res == -FDT_ERR_NOSPACE && fdt_size < FDT_MAX_SIZE) \ in libxl__prepare_dtb()910 if (fdt_size) { in libxl__prepare_dtb()911 fdt_size <<= 1; in libxl__prepare_dtb()912 LOG(DEBUG, "Increasing FDT size to %zd and retrying", fdt_size); in libxl__prepare_dtb()914 fdt_size = 4096; in libxl__prepare_dtb()917 fdt = libxl__realloc(gc, fdt, fdt_size); in libxl__prepare_dtb()919 FDT( fdt_create(fdt, fdt_size) ); in libxl__prepare_dtb()
703 size_t fdt_size; in start_xen() local732 fdt_size = boot_fdt_info(device_tree_flattened, fdt_paddr); in start_xen()753 setup_mm(fdt_paddr, fdt_size); in start_xen()
Completed in 8 milliseconds