On 06.10.22 14:09, Oleksandr Tyshchenko wrote: > From: Oleksandr Tyshchenko > > Although XEN_PAGE_SIZE is equal to PAGE_SIZE (4KB) for now, it would > be more correct to use Xen specific #define-s as XEN_PAGE_SIZE can > be changed at some point in the future. > > Signed-off-by: Oleksandr Tyshchenko Reviewed-by: Juergen Gross Juergen