On Mon, Oct 05, 2020 at 10:49:03AM +0100, Paul Durrant wrote:
> From: Paul Durrant <pdurr...@amazon.com>
[...]
> diff --git a/tools/libs/light/libxl_x86.c b/tools/libs/light/libxl_x86.c
> index 6ec6c27c83..9631974dd6 100644
> --- a/tools/libs/light/libxl_x86.c
> +++ b/tools/libs/light/libxl_x86.c
> @@ -520,6 +520,16 @@ int libxl__arch_domain_create(libxl__gc *gc,
> libxl_domain_config *d_config,
> NULL, 0, &shadow, 0, NULL);
> }
>
> + if (d_config->b_info.iommu_memkb) {
> + unsigned int nr_pages = DIV_ROUNDUP(d_config->b_info.iommu_memkb, 4);
> +
Please use XC_PAGE_SHIFT / XC_PAGE_SIZE for the calculation.
Wei.
