sem_tickwait(): Add a new, non-standard function to perform timed semaphore...

sem_tickwait():  Add a new, non-standard function to perform timed semaphore waits.  It is functionally equialent to the standard sem_timedwait(), but more efficient for use in higher performance device drivers.  Requested by Max Neklyudov