40c40
< fatal("fault (%s) detected @ PC 0x%08p", name(), tc->readPC());
---
> fatal("fault (%s) detected @ PC %p", name(), tc->readPC());