>>> On 24.02.15 at 14:47, <julien.gr...@linaro.org> wrote: > lpae_t is an uint64_t and flags an unsigned int, so we will have to > check that any bits we have to modified is effectively living on the > less significant word.
Or, upon extraction, fold all flags into something fitting into 32 bits, like we do on x86. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
