Homebrew Milliseconds on 3DS (DevKitPro)

[Jayenkai]

Doing rather well with my 3DS Framework, but one little minor issue has me stumped.
How on earth can I get hold of Milliseconds on the thing?
I don't mind if it's "Since launch", "Since boot of device", "Since 1970", or whatever, as I can handle all the complicated maths stuff myself, but I just can't seem to get anything that's vaguely reliable.
Hours, seconds, months, years.. Sure.. But Mills? Nothing seems exactly stable.
I've tried a few hacky "It works for Linux" things, but those have proven to be quite erratic.

Any tips would be much appreciated. Thanks!

 

[Jayenkai]

Having hunted manually through the raw .h files, I eventually stumbled upon "osGetTime();" which appears to give you fairly accurate Milliseconds (since 1st Jan 1980, apparently!)
It's included as part of the large 3ds.h include.