acpi_ut_dword_byte_swap (	u32                             value){	union {		u32                         value;		u8                          bytes[4];	} out;	union {		u32                         value;		u8                          bytes[4];	} in;	ACPI_FUNCTION_ENTRY ();	in.value = value;	out.bytes[0] = in.bytes[3];	out.bytes[1] = in.bytes[2];	out.bytes[2] = in.bytes[1];	out.bytes[3] = in.bytes[0];	return (out.value);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/44f6c01242da4e162f28d8e1216a8c7a91174605/utmisc.c/buggy/drivers/acpi/utilities/utmisc.c