I found where ReadCoreTimer() is defined - it's in here, and has special attributes to boot.