1 // SPDX-License-Identifier: GPL-2.0+ 2 /* 3 * (C) Copyright 2018 Rockchip Electronics Co., Ltd 4 */ 5 6 #include <common.h> 7 #include <console.h> 8 #include <io-domain.h> 9 10 void io_domain_init(void) 11 { 12 int ret; 13 struct udevice *dev; 14 15 ret = uclass_get_device(UCLASS_IO_DOMAIN, 0, &dev); 16 if (ret) 17 printf("Can't find UCLASS_IO_DOMAIN driver %d\n", ret); 18 } 19 20 UCLASS_DRIVER(io_domain) = { 21 .id = UCLASS_IO_DOMAIN, 22 .name = "io_domain", 23 }; 24