__cpu_to_be32s
#define __cpu_to_be32s(x) do { (void)(x); } while (0)
#define __cpu_to_be32s(x) __swab32s((x))