aac_printf
void aac_printf(struct aac_dev *dev, u32 val);
aac_printf(dev, readl (&dev->IndexRegs->Mailbox[5]));
aac_printf(dev, sa_readl(dev, Mailbox5));