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