smi_add_watch    1054 drivers/char/ipmi/ipmi_msghandler.c 		smi_add_watch(intf, IPMI_WATCH_MASK_CHECK_MESSAGES);
smi_add_watch    1245 drivers/char/ipmi/ipmi_msghandler.c 		smi_add_watch(intf, IPMI_WATCH_MASK_CHECK_WATCHDOG);
smi_add_watch    1674 drivers/char/ipmi/ipmi_msghandler.c 	smi_add_watch(intf, IPMI_WATCH_MASK_CHECK_COMMANDS);