cpc_read_ffh
return cpc_read_ffh(cpu, reg, val);
extern int cpc_read_ffh(int cpunum, struct cpc_reg *reg, u64 *val);