FDT_SIZE
error = fdt_init(ctx, guest_ncpus, fdt_gpa(ctx), FDT_SIZE);
error = fdt_init(ctx, guest_ncpus, fdt_gpa, FDT_SIZE, isa);