Searched defs:rfbm_1or2 (Results 1 – 1 of 1) sorted by relevance
11766 IRTemp rfbm_1or2 = newTemp(Ity_I64); in gen_XSAVE_SEQUENCE() local11998 IRTemp rfbm_1or2 = newTemp(Ity_I64); in gen_XRSTOR_SEQUENCE() local