void psxRcntWmode(u32 index, u32 value);
void psxRcntWtarget(u32 index, u32 value);
-u32 psxRcntRcount(u32 index);
+u32 psxRcntRcount0();
+u32 psxRcntRcount1();
+u32 psxRcntRcount2();
u32 psxRcntRmode(u32 index);
u32 psxRcntRtarget(u32 index);
s32 psxRcntFreeze(void *f, s32 Mode);
+double psxGetFps();
+
#ifdef __cplusplus
}
#endif