Searched defs:tNBytes (Results 1 – 1 of 1) sorted by relevance
5565 void generate_lsw_sequence ( IRTemp tNBytes, // # bytes, :: Ity_I32 in generate_lsw_sequence()5617 void generate_stsw_sequence ( IRTemp tNBytes, // # bytes, :: Ity_I32 in generate_stsw_sequence()