Symbol: process_read_fpregs