Symbol: alpha_read_fp_reg