fdt_init
error = fdt_init(ctx, guest_ncpus, fdt_gpa(ctx), FDT_SIZE);
int fdt_init(struct vmctx *ctx, int ncpu, vm_paddr_t addrp,
error = fdt_init(ctx, guest_ncpus, fdt_gpa, FDT_SIZE, isa);
int fdt_init(struct vmctx *ctx, int ncpu, vm_paddr_t addrp,