cpubiuctrl_regs
if (cpubiuctrl_regs == a72_cpubiuctrl_regs) {
np, cpubiuctrl_regs == a72_cpubiuctrl_regs ?
cpubiuctrl_regs = b15_cpubiuctrl_regs;
cpubiuctrl_regs = b53_cpubiuctrl_regs;
cpubiuctrl_regs = a72_cpubiuctrl_regs;
cpubiuctrl_regs = b53_cpubiuctrl_no_wb_regs;
static const int *cpubiuctrl_regs;
int offset = cpubiuctrl_regs[reg];
int offset = cpubiuctrl_regs[reg];