bits = sizeof(data[0]) * 8; 
bits = sizeof(buffer[0]) * 8; 
static inline void ubd_set_bit(__u64 bit, unsigned char *data){	__u64 n;	int bits, off;	bits = sizeof(data[0]) * 8;	n = bit / bits;	off = bit % bits;	data[n] |= (1 << off);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/09ace81c1d737bcbb2423db235ac980cac4d5de9/ubd_kern.c/buggy/arch/um/drivers/ubd_kern.c