title: Access to the counter for one tick
body: <p>I want to know if there is a possibility to get the value of the counter which is used for the TickCounter interrupt. </p>
  
  <p>Purpose:</p>
  
  <p>I want to know the current Tick and the value of this register.</p>
  
  <p>So that I can evaluate this.</p>
  
  <p>For example,</p>
  
  <p>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.</p>
  
  <p>EDIT:</p>
  
  <p>I found this implementation </p>
  
  <pre><code>&gt; #ifndef CERT /*******************************************************************************
  &gt; *
  &gt; * tickGet - get the value of the kernel's tick counter
  &gt; *
  &gt; * This routine returns the current value of the tick counter.
  &gt; * This value is set to zero at startup, incremented by tickAnnounce(),
  &gt; * and can be changed using tickSet().
  &gt; *
  &gt; * RETURNS: The most recent tickSet() value, plus all tickAnnounce() calls since.
  &gt; *
  &gt; * SEE ALSO: tickSet(), tickAnnounce()
  &gt; * 
  &gt; * INTERNAL
  &gt; * There should be no need to lock interrupts on this one; the compiler should
  &gt; * only generate a read from one half of the UINT64 which means that the read
  &gt; * can never be interrupted.
  &gt; */
  &gt; 
  &gt; ULONG tickGet (void)
  &gt;     {
  &gt;     return (ULONG) (vxAbsTicks &amp; 0xFFFFFFFFull);
  &gt;     }
  &gt; #endif /* !CERT */
  </code></pre>
  
  <p>But I can not access the <code>vxAbsTicks</code> value</p>