From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ian Campbell Subject: Re: [PATCH v8 10/14] xen/common: move the memory_mapping DOMCTL hypercall to common code Date: Thu, 5 Jun 2014 15:39:09 +0100 Message-ID: <1401979149.15729.121.camel@hastur.hellion.org.uk> References: <1401015115-7610-1-git-send-email-avanzini.arianna@gmail.com> <1401015115-7610-11-git-send-email-avanzini.arianna@gmail.com> <53821D7F.4040701@linaro.org> <53832E940200007800015AED@mail.emea.novell.com> <53831F8A.8060604@linaro.org> <1401978088.15729.110.camel@hastur.hellion.org.uk> <20140605143353.GB8661@deinos.phlegethon.org> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <20140605143353.GB8661@deinos.phlegethon.org> List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: Tim Deegan Cc: julien.grall@citrix.com, paolo.valente@unimore.it, keir@xen.org, stefano.stabellini@eu.citrix.com, andrew.cooper3@citrix.com, dario.faggioli@citrix.com, Julien Grall , Ian.Jackson@eu.citrix.com, xen-devel@lists.xen.org, Ian.Campbell@eu.citrix.com, etrudeau@broadcom.com, Jan Beulich , Arianna Avanzini , viktor.kleinik@globallogic.com List-Id: xen-devel@lists.xenproject.org On Thu, 2014-06-05 at 16:33 +0200, Tim Deegan wrote: > Incidentally, I'd be _delighted_ if anyone can suggest a way of making > mfn_t and gfn_t distinct types (i.e. that the compiler won't silently > cast to/from other types) without requiring the _mfn/mfn_x ugliness. I think we could do it with sparse (which allows you to assign "address spaces" to things) as a separate compilation check/step. Perhaps there is a similar gcc (or more likely: clang) attribute these days? Ian.