Re: [Xen-devel] [PATCH 03/24] xen/arm: page.h definitions