mmMM_INDEX_HI
WREG32_NO_KIQ(mmMM_INDEX_HI, aligned_pos >> 31);
WREG32_NO_KIQ(mmMM_INDEX_HI, *pos >> 31);