- dprintk ("FSB:%dMHz Lowest speed: %s Highest speed:%s\n", fsb,
- print_speed(lowest_speed/1000),
- print_speed(highest_speed/1000));
+ 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));