osi-gettime-20041202
authorJeffrey Hutzelman <jhutz@cmu.edu>
Wed, 1 Dec 2004 23:31:54 +0000 (23:31 +0000)
committerDerrick Brashear <shadow@dementia.org>
Wed, 1 Dec 2004 23:31:54 +0000 (23:31 +0000)
commita8cb095e85fba7ecdeb7bdb7848cfb2f498d5cc8
tree0ea6e26cd5f8853587f4216881141cf75cada1c4
parentdb3a694498e6fc000933e2a8fd30e8812dd75a65
osi-gettime-20041202

FIXES 16346

osi_GetTime needs to bdeal with 64 bit time on platforms that have it
src/afs/LINUX/osi_machdep.h
src/config/param.amd64_linux26.h