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