VX(C): Add the performance counter interface.