Symbol: alpha_read_fpcr