gem5 / arm / linux / f423e5ba76e7e4a6fcb4836b4f072d1fdebba8b5 / Documentation / cpuidle / driver.txt