Lines Matching defs:PFX
44 #define PFX DRV_NAME ": "
469 printk(KERN_ERR PFX "failed to reset NO_REBOOT flag, "
641 printk(KERN_CRIT PFX
784 printk(KERN_ERR PFX "failed to get TCOBASE address\n");
800 printk(KERN_ERR PFX "RCBA is disabled by hardware\n");
810 printk(KERN_INFO PFX "unable to reset NO_REBOOT flag, "
821 printk(KERN_ERR PFX
834 printk(KERN_ERR PFX "I/O address 0x%04lx already in use\n",
840 printk(KERN_INFO PFX
858 printk(KERN_INFO PFX
864 printk(KERN_ERR PFX
870 printk(KERN_INFO PFX "initialized. heartbeat=%d sec (nowayout=%d)\n",
924 printk(KERN_INFO PFX "No card detected\n");
961 printk(KERN_INFO PFX "Intel TCO WatchDog Timer Driver v%s\n",
986 printk(KERN_INFO PFX "Watchdog Module Unloaded.\n");