Re: [Xen-devel] [PATCH v4 1/2] xen: switch pdx_init_mask to return uint64_t

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 20.06.19 at 15:15, <julien.grall@xxxxxxx> wrote:
> On 6/18/19 11:23 AM, Jan Beulich wrote:
>>>>> On 17.06.19 at 20:50, <sstabellini@xxxxxxxxxx> 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@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel