Re: [Xen-devel] [PATCH v8 10/14] xen/common: move the memory_mapping DOMCTL hypercall to common code

[Ian Campbell <ian.campbell@xxxxxxxxxx>]

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.


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel