Well, I figured it out using a pointer to a memblock. For those people who want more precision than the DBPro kernel tick, which btw may not be accurate because of the way the ticker gets called by the OS, here is a direct call to get the high precision counter your Cpu keeps. Of course you have to compute the overhead it takes to get the ticks from the cpu to be real precise, this little snippet gives you 6 more places past 1ms(The DBPro resolution).
load dll "kernel32.dll",1
a as double integer
b as integer
time as double float
d as double integer
make memblock 1,8
for x=0 to 7
write memblock byte 1,x,0
next x
c=get memblock ptr(1)
a=call dll (1, "QueryPerformanceFrequency",c)
b=*c
do
time2=timer()
a=call dll (1, "QueryPerformanceCounter",c)
d=*c
wait 1000
a=call dll (1, "QueryPerformanceCounter",c)
a=*c
Time = ((a-d)*1000.000000)/b
time2=timer()-time2
set cursor 0,0
cls
Print time;" ";time2
loop