Searched refs:ss64 (Results 1 – 1 of 1) sorted by relevance
100 uint64_t ss64 = 0xFEEDFACE0BADBEEFull, sd64 = 0; in main() local114 vlebrh(&vd, &ss64, 5); in main()124 vllebrz(&vd, (uint8_t *)&ss64 + 3, 2); in main()131 vlbrrep(&vd, (uint8_t *)&ss64 + 4, 1); in main()