alpha_write_fp_c
alpha_write_fp_c(l, md_flags);
alpha_write_fp_c(l, args.fp_c);
void alpha_write_fp_c(struct lwp *, uint64_t);
alpha_write_fp_c(l, temp);