[S390] cio: Use device_is_registered().
This page took 0.707123 seconds and 4 git commands to generate.