Searched refs:rfbm_hi (Results 1 – 1 of 1) sorted by relevance
45 uint32_t rfbm_hi = rfbm >> 32; in xsave() local48 : : "D" (xbuf), "a" (rfbm_lo), "d" (rfbm_hi) in xsave()55 uint32_t rfbm_hi = rfbm >> 32; in xrstor() local58 : : "D" (xbuf), "a" (rfbm_lo), "d" (rfbm_hi)); in xrstor()