get_ticks() is not returning incremented value

Hello,

I'm trying to use get_ticks() to limit the time allocated in boot prompt. I expect get_ticks() to return incremented number of ticks every time I call it.

I notice that get_ticks() is always returning same int value how many ever be the number of times I call get_ticks()

Am I missing any timer initialization that get_ticks() is not behaving as expected???
What should I do to get incremented number of ticks every time I call get_ticks()??

Thanks and regards,

Hameed

E: syedabdul.hameed2@carrier.com