fdt_print
fdt_print(have_addr ? (void *)(uintptr_t)addr : fdtbus_get_data(),
void fdt_print(const void *, bool, void (*)(const char *, ...) __printflike(1, 2));