gem5 / arm / linux-arm64-legacy / 0c5649af3accc7f2941c5eebcc613e1a81b03448 / drivers / clocksource / scx200_hrt.c