Definition at line 586 of file srt_x86.cc.
Referenced by srt_x86_single().
Definition at line 585 of file srt_x86.cc.