When initializing the exynos mct, set the initial value of the 64-bit comparator to the sum of the the 64-bit counter and TIMER_TICKS.
When initializing the exynos mct, set the initial value of the 64-bit comparator to the sum of the the 64-bit counter and TIMER_TICKS.

lukw00/seL4,lukw00/seL4,cmr/seL4,gpbonillas/seL4,watbe/seL4,cmr/seL4,dailypips/seL4,zhicheng/seL4,haitao52198/seL4,winksaville/seL4,haitao52198/seL4,codeneomatrix/seL4,cmr/seL4,winksaville/seL4,haitao52198/seL4,zhicheng/seL4,watbe/seL4,gpbonillas/seL4,rzhw/seL4,DavidVorick/seL4,rzhw/seL4,codeneomatrix/seL4,dailypips/seL4,sutt0n/seL4,lukw00/seL4,codeneomatrix/seL4,sutt0n/seL4,dailypips/seL4,dailypips/seL4,DavidVorick/seL4,lukw00/seL4,zhicheng/seL4,CarterTsai/seL4,winksaville/seL4,sutt0n/seL4,winksaville/seL4,gpbonillas/seL4,rzhw/seL4,CarterTsai/seL4,DavidVorick/seL4,watbe/seL4,watbe/seL4,gpbonillas/seL4,codeneomatrix/seL4,haitao52198/seL4,rzhw/seL4,CarterTsai/seL4,sutt0n/seL4,DavidVorick/seL4,CarterTsai/seL4