25 static int virtex_ns16550_console_init(void *devp)  in virtex_ns16550_console_init()  argument
32 	if (dt_get_virtual_reg(devp, (void **)&reg_base, 1) < 1)  in virtex_ns16550_console_init()
35 	n = getprop(devp, "reg-offset", &reg_offset, sizeof(reg_offset));  in virtex_ns16550_console_init()
39 	n = getprop(devp, "reg-shift", &reg_shift, sizeof(reg_shift));  in virtex_ns16550_console_init()
43 	n = getprop(devp, "current-speed", (void *)&spd, sizeof(spd));  in virtex_ns16550_console_init()
48 	n = getprop(devp, "clock-frequency", (void *)&clk, sizeof(clk));  in virtex_ns16550_console_init()
78 	void *devp;  in platform_specific_init()  local
82 	devp = finddevice("/chosen");  in platform_specific_init()
83 	if (devp == NULL)  in platform_specific_init()
86 	if (getprop(devp, "linux,stdout-path", path, MAX_PATH_LEN) > 0) {  in platform_specific_init()
87 		devp = finddevice(path);  in platform_specific_init()
88 		if (devp == NULL)  in platform_specific_init()
91 		if ((getprop(devp, "device_type", devtype, sizeof(devtype)) > 0)  in platform_specific_init()
93 				&& (dt_is_compatible(devp, "ns16550")))  in platform_specific_init()
94 				virtex_ns16550_console_init(devp);  in platform_specific_init()