@@ -254,7 +254,7 @@ static uint32_t phys_map_node_alloc(PhysPageMap *map, bool leaf)
}
static void phys_page_set_level(PhysPageMap *map, PhysPageEntry *lp,
- hwaddr *index, hwaddr *nb, uint16_t leaf,
+ hwaddr *index, uint64_t *nb, uint16_t leaf,
int level)
{
PhysPageEntry *p;
@@ -280,7 +280,7 @@ static void phys_page_set_level(PhysPageMap *map, PhysPageEntry *lp,
}
static void phys_page_set(AddressSpaceDispatch *d,
- hwaddr index, hwaddr nb,
+ hwaddr index, uint64_t nb,
uint16_t leaf)
{
/* Wildly overreserve - it doesn't matter much. */
Function phys_page_set() and phys_page_set_level() 's argument *nb* stands for number of pages to set instead of hardware address. This would be more proper to use uint64_t instead of hwaddr for its type. Signed-off-by: Wei Yang <richardw.yang@linux.intel.com> --- exec.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)