alpha_write_fp_c
alpha_write_fp_c(p, md_flags);
alpha_write_fp_c(p, args.fp_c);
void alpha_write_fp_c(struct proc *, u_int64_t);