28 static int virtex_ns16550_console_init(void *devp)  in virtex_ns16550_console_init()  argument
35 	if (dt_get_virtual_reg(devp, (void **)&reg_base, 1) < 1)  in virtex_ns16550_console_init()
38 	n = getprop(devp, "reg-offset", &reg_offset, sizeof(reg_offset));  in virtex_ns16550_console_init()
42 	n = getprop(devp, "reg-shift", &reg_shift, sizeof(reg_shift));  in virtex_ns16550_console_init()
46 	n = getprop(devp, "current-speed", (void *)&spd, sizeof(spd));  in virtex_ns16550_console_init()
51 	n = getprop(devp, "clock-frequency", (void *)&clk, sizeof(clk));  in virtex_ns16550_console_init()
81 	void *devp;  in platform_specific_init()  local
85 	devp = finddevice("/chosen");  in platform_specific_init()
86 	if (devp == NULL)  in platform_specific_init()
89 	if (getprop(devp, "linux,stdout-path", path, MAX_PATH_LEN) > 0) {  in platform_specific_init()
90 		devp = finddevice(path);  in platform_specific_init()
91 		if (devp == NULL)  in platform_specific_init()
94 		if ((getprop(devp, "device_type", devtype, sizeof(devtype)) > 0)  in platform_specific_init()
96 				&& (dt_is_compatible(devp, "ns16550")))  in platform_specific_init()
97 				virtex_ns16550_console_init(devp);  in platform_specific_init()