Searched refs:uint_32t (Results 1 – 2 of 2) sorted by relevance
25 printf(" %08X.%08X ",(uint_32t)(X[j] >> 32),(uint_32t)X[j]); in Show64_step()
25 typedef uint32_t uint_32t; /* 32-bit unsigned integer */ typedef