- dprintk (KERN_INFO PFX "FSB:%dMHz ", fsb);
- dprintk ("Lowest speed:%s ", print_speed(lowest_speed/1000));
- dprintk ("Highest speed:%s\n", print_speed(highest_speed/1000));
+ dprintk ("FSB:%dMHz Lowest speed: %s Highest speed:%s\n", fsb,
+ print_speed(lowest_speed/1000),
+ print_speed(highest_speed/1000));