Re: [XEN v7 06/11] xen: dt: Replace u64 with uint64_t as the callback function parameters for dt_for_each_range()

[Julien Grall <julien@xxxxxxx>]

Hi Ayan,

On 18/05/2023 15:39, Ayan Kumar Halder wrote:
> In the callback functions invoked by dt_for_each_range() ie handle_pci_range(),
> map_range_to_domain(), 'u64' should be replaced with 'uint64_t' as the data type
> for the parameters. The reason being Xen coding style mentions that u32/u64
> should be avoided.
>
> Also dt_for_each_range() invokes the callback functions with 'uint64_t'
> arguments. Thus, is_bar_valid() needs to change the parameter types accordingly.
>
> Signed-off-by: Ayan Kumar Halder <ayan.kumar.halder@xxxxxxx>
> Reviewed-by: Michal Orzel <michal.orzel@xxxxxxx>
Acked-by: Julien Grall <jgrall@xxxxxxxxxx>

Cheers,

--
Julien Grall