I have a doubt about the function

ulong get_timer (ulong base)

imlemented in cpu/arm920t/imx/interrupts.c. In my undertanding this function should return

return (get_timer_masked () - base);

instead of

return get_timer_masked ();

Am I right?