On Mon, Feb 23, 2015 at 11:21 PM, Ian Campbell <ian.campb...@citrix.com> wrote: > On Wed, 2015-02-18 at 12:38 +0000, Julien Grall wrote: >> > + uint64_t addr, size; > > Please use paddr_t and PRIpaddr etc. > >> > + res = map_mmio_regions(d, >> > + paddr_to_pfn(addr & PAGE_MASK), >> > + DIV_ROUND_UP(size, PAGE_SIZE), >> > + paddr_to_pfn(addr & PAGE_MASK)); >> >> OOI, why this region is not described in the DT? Is it a PCI device? >
It is not PCI device. it is Global SerDes configuration region. It is not mentioned in DT. > I'm curious too. > >> > + if ( res ) >> > + { >> > + printk(XENLOG_ERR "Unable to map to dom%d region" >> >> It would be more clear to specify the name of the region i.e "GSER region" > > Agreed. OK. will be fixed Regards, Vijay _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel