watch_lock        542 drivers/char/ipmi/ipmi_msghandler.c 	spinlock_t       watch_lock; /* For dealing with watch stuff below. */
watch_lock        960 drivers/char/ipmi/ipmi_msghandler.c 	spin_lock_irqsave(&intf->watch_lock, iflags);
watch_lock        975 drivers/char/ipmi/ipmi_msghandler.c 	spin_unlock_irqrestore(&intf->watch_lock, iflags);
watch_lock        985 drivers/char/ipmi/ipmi_msghandler.c 	spin_lock_irqsave(&intf->watch_lock, iflags);
watch_lock       1008 drivers/char/ipmi/ipmi_msghandler.c 	spin_unlock_irqrestore(&intf->watch_lock, iflags);
watch_lock       3456 drivers/char/ipmi/ipmi_msghandler.c 	spin_lock_init(&intf->watch_lock);