2a3
> * Copyright (c) 2013 Advanced Micro Devices, Inc.
218a220,222
> CCReg readCCReg(int reg_idx)
> { return actualTC->readCCReg(reg_idx); }
>
236a241,246
> void setCCReg(int reg_idx, CCReg val)
> {
> actualTC->setCCReg(reg_idx, val);
> checkerTC->setCCReg(reg_idx, val);
> }
>
291a302
> int flattenCCIndex(int reg) { return actualTC->flattenCCIndex(reg); }
322a334,339
>
> CCReg readCCRegFlat(int idx)
> { return actualTC->readCCRegFlat(idx); }
>
> void setCCRegFlat(int idx, CCReg val)
> { actualTC->setCCRegFlat(idx, val); }