Timer related questions

The TINI C library documentation references a pair of functions, 
task_settickreload() and task_gettickreload(). I cannot find any reference to 
these functions in the ROM software guide in the users manual. Can somebody 
please tell me how to implement these functions? (I note the default reload 
value is wrong for the TINIm400's 14.7 MHz clock).

On a related note, I notice using the clock multiplier to double the TINI's 
speed, like so:

    PMR = 0x82;
    PMR = 0x92;

    while (!(EXIF & 8))
        ;

    PMR = 0x12;

works just fine, but attempting to quadruple the speed, like so:

            PMR = 0x82;
            PMR = 0x8a; // 8a for REAL fast
            PMR = 0x9a; // 9a for REAL fast.

            while (!(EXIF & 8))
                ;

            PMR = 0x1a; // 1a for REAL fast.

seems to result in a complete hang a few instructions (at most) later. Is the 
RAM on the TINIm400 incapable of running at the necessary speed, or am I 
missing a config step here?

-- 
        Peace,
                Kevin
_______________________________________________
TINI mailing list
TINI-6tN4nzCoH/hBDgjK7y7TUQ@xxxxxxxxxxxxxxxx
To UNSUBSCRIBE, edit your profile, or see list archives:
http://lists.dalsemi.com/mailman/listinfo/tini