ReadEClock() reads current value of E-Clock and stores
it in the destination EClockVal structure passed as
argument. It also returns the frequency of EClock of the
system.
This call is supposed to be very fast.