1. 9
  1.  

  2. 1

    Better late than never, congrats! FreeBSD has been using a vDSO for the clock for.. 8 years now :)