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