Lines Matching refs:uns64
338 } uns64;
577 elem->data.uns64.high = high;
578 elem->data.uns64.low = low;
742 if (elem->data.uns64.high == 0) {
743 printf("%u", elem->data.uns64.low);
746 d = elem->data.uns64.high * 4294967296.0; /* 2^32 */
747 if (elem->data.uns64.high <= 0x1fffff) {
748 d += elem->data.uns64.low;
756 d += (elem->data.uns64.low & 0xfffff000);
763 elem->data.uns64.low & 0xfff);