fpmxcsr2str
fpmxcsr2str(mxcsr, buf, buflen));
fpmxcsr2str(xstatus, buf, buflen));
extern const char *fpmxcsr2str(uint32_t, char *, size_t);