Symbol: process_xmm_to_s87
sys/arch/i386/i386/process_machdep.c
189
process_xmm_to_s87(&frame->sv_xmm, &s87);
sys/arch/i386/include/npx.h
145
void process_xmm_to_s87(const struct savexmm *, struct save87 *);