stop_monitor 1709 drivers/char/pcmcia/cm4000_cs.c stop_monitor(dev); stop_monitor 1772 drivers/char/pcmcia/cm4000_cs.c stop_monitor(dev); stop_monitor 1846 drivers/char/pcmcia/cm4000_cs.c stop_monitor(dev);