Function sceKernelReadTsc

GPCS4/SceModules/SceLibkernel/sce_kernel_time.cpp:38–43

uint64_t PS4API sceKernelReadTsc(void)
{
	uint64_t nCount = plat::GetProcessTimeCounter();
	//LOG_SCE_TRACE("tsc %lld", nCount);
	return nCount;
}