455c455
< DPRINTF(Tsunami, "Posting RTC interrupt to cpu=%d", i);
---
> DPRINTF(Tsunami, "Posting RTC interrupt to cpu=%d\n", i);