arpg/HAL — pull request #18 by chachi (2014-07-28 23:49:58+00:00)
Title: Improve thread-safety in DeviceTime.h

Some small thread safety related fixes in DeviceTime.h to prevent race conditions or improper accesses.