timer in vxWorks. Base on vxWorks timer api