buf[3] = val; 
buf[3] = val & 0xff; 
static void inline put_be32(u8 *buf, u32 val){	buf[0] = val >> 24;	buf[1] = val >> 16;	buf[2] = val >> 8;	buf[3] = val;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/1bbc169621cbe502b9143a27eb12802a0f1d43a0/file_storage.c/buggy/drivers/usb/gadget/file_storage.c