Access to the counter for one tick

Question

I want to know if there is a possibility to get the value of the counter which is used for the TickCounter interrupt.

Purpose:

I want to know the current Tick and the value of this register.

So that I can evaluate this.

For example,

the tick is 12 and the register is 1526. So I can implement a Virtual Clock which use the Tick counter ( base 1ms) and the register so that I have a more precise Clock.

EDIT:

I found this implementation

> #ifndef CERT /*******************************************************************************
> *
> * tickGet - get the value of the kernel's tick counter
> *
> * This routine returns the current value of the tick counter.
> * This value is set to zero at startup, incremented by tickAnnounce(),
> * and can be changed using tickSet().
> *
> * RETURNS: The most recent tickSet() value, plus all tickAnnounce() calls since.
> *
> * SEE ALSO: tickSet(), tickAnnounce()
> * 
> * INTERNAL
> * There should be no need to lock interrupts on this one; the compiler should
> * only generate a read from one half of the UINT64 which means that the read
> * can never be interrupted.
> */
> 
> ULONG tickGet (void)
>     {
>     return (ULONG) (vxAbsTicks & 0xFFFFFFFFull);
>     }
> #endif /* !CERT */

But I can not access the vxAbsTicks value

Answer 1

The simple and correct answer is to just call tickGet().