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);