#ifndef __SOFTFLOAT_H__
#define __SOFTFLOAT_H__
+#include <linux/config.h>
/*
-------------------------------------------------------------------------------
u16 __padding;
#endif
u64 low;
-} __attribute__ ((packed,aligned(4))) floatx80;
+} floatx80;
/*
-------------------------------------------------------------------------------