I'm using timerstart = Clock_getTicks(); to get an idea of how long my code takes to execute. If I assume that 1 tick is 1/300MHz, what I see is not necessarily what I measure. Yes, there is a little bit of a human perception error but per my measurements the code takes ~4000 ticks. That is 13 us. From calling BIOS_start to BIOS_exit. I'm sure it is taking a lot more than that.
Now, if I open the cfg file I can see a clock module and it has a tick period of 1000 us. This feels like it represent better what I see 4000*1000us = 4 seconds.
The actual ticks of Clock_getTicks(); is the one in the RTSC module, right? not the Actual CPU frequency.