Kees Jongenburger ed45d98dac arm:ensure read_tsc_64 always returns a valid value. ... Before this change overflowing the free running clock counter between the time the timer was read and the time the overflow check was done resulted in read_tsc_64 returning a to high value. Change-Id: I1022f271213647f720477c4121d45f0c965456c6		2013-09-27 11:29:04 +02:00
..
arch	arm:ensure read_tsc_64 always returns a valid value.	2013-09-27 11:29:04 +02:00
system
clock.c
clock.h
config.h
const.h
cpulocals.c
cpulocals.h
debug.c
debug.h
extract-errno.sh
extract-mfield.sh
extract-mtype.sh
glo.h
interrupt.c
interrupt.h
ipc.h
kernel.h
main.c
Makefile
priv.h
proc.c
proc.h
profile.c
profile.h
proto.h
smp.c
smp.h
spinlock.h
system.c
system.h
table.c
type.h
usermapped_data.c
utility.c
vm.h
watchdog.c
watchdog.h