Searched refs:sd64 (Results 1 – 1 of 1) sorted by relevance
100 uint64_t ss64 = 0xFEEDFACE0BADBEEFull, sd64 = 0; in main() local119 vstebrh(&vs, (uint8_t *)&sd64 + 4, 7); in main()120 if (0x0000000007110000ull != sd64) { in main()