gem5 / arm / linux-arm64-legacy / df91e49477a9be15921cb2854e1d12a3bdb5e425 / Documentation / cpuidle / driver.txt