gem5 / arm / linux / adf9904dc774f23f04a5425f0198483ea61f878b / Documentation / printk-formats.txt