[ixp1200] reading statistics registers from the ixf440 ( ixp12eb)

Hi I am working on the ixp12eb supported by the vxworks os. I am trying to read the statistic registers from the ixf440, so far no success. I went through your example codes. In the control.c file ( libixprouter.tar ) i saw that you use the scratchRead32( ) function to do the job. I could not find this function. Can you advise me on this matter? You my find this Q too obvious, but i am a beginner on the system, anything is helpful to me. thanks Tomer.