gasket_dev_write_32  624 drivers/staging/gasket/gasket_core.h 	gasket_dev_write_32(dev, tmp, bar, location);
gasket_dev_write_32  250 drivers/staging/gasket/gasket_interrupt.c 		gasket_dev_write_32(gasket_dev, 0,