>>> On 20.06.19 at 15:15, <julien.gr...@arm.com> wrote: > On 6/18/19 11:23 AM, Jan Beulich wrote: >>>>> On 17.06.19 at 20:50, <sstabell...@kernel.org> wrote: >>> Also change srat_region_mask to uint64_t as it is used to store the >>> return value of pdx_init_mask. uint64_t is always greater or equal to >>> u64. > > I am a bit confused with the last sentence. In which instance, uint64_t > would be greater to u64? Aren't they meant to both encode a 64-bit value?
Oh, indeed - somehow I didn't even notice this. If anything it's the other way around actually, because uint64_t is mandated to be exactly 64 bits wide, whereas there's no strict specification for u64 afaia, but I very much assume the intentions there have been the same. The proposed title and text replacements look fine to me. Jan _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
