/* print_parisc_devices - Print out a list of devices found in this system  */
void print_parisc_devices(void)
/* print_parisc_devices - Print out a list of devices found in this system  */
void print_parisc_devices(void)
{
	for_each_padev(print_one_device, NULL);
}