[PATCH] driver core: add helper device_is_registered()
[powerpc.git] / drivers / s390 / cio / device_pgid.c
2005-04-16 Linus TorvaldsLinux-2.6.12-rc2 v2.6.12-rc2