configure: recognize x86_64-x32 and x32
[musl] / src / prng / __rand48_step.c
index 755b4f2..ccaffc3 100644 (file)
@@ -1,5 +1,4 @@
-#include <stdlib.h>
-#include <inttypes.h>
+#include <stdint.h>
 
 uint64_t __rand48_step(unsigned short *xi, unsigned short *lc)
 {