PPC44x_EARLY_DEBUG_VIRTADDR
return as1_readb((void __iomem *)PPC44x_EARLY_DEBUG_VIRTADDR + reg);
as1_writeb(val, (void __iomem *)PPC44x_EARLY_DEBUG_VIRTADDR + reg);