change size of global counter from 32 to 64 bit
device driver: change size of global counter from 32 to 64 bit