Searched refs:data64 (Results 1 – 1 of 1) sorted by relevance
| /stdlib/ |
| A D | gen-fpioconst.c | 50 uint64_t data64[size64]; in main() local
52 memset (data64, 0, sizeof data64); in main()
54 mpz_export (data64 + 1, NULL, -1, 8, 0, 0, p); in main()
89 fprintf (out64, "0x%016"PRIx64"ull,", data64[k]); in main()
|
Completed in 4 milliseconds