/* Device uses edge triggered ints */