tree b1cf5104c9a1f658bcca05209156702b75b4a888
parent 537f53b682eb0d99e90da2a3e7389ea474bc583d
parent 64289760a2df9409d8f4fa5becb4a49f0acb20a5
author Greg Hackmann <ghackmann@google.com> 1387325845 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1387325846 +0000

Merge "SystemClock: use clock_gettime() on devices without /dev/alarm"