|
@@ -109,7 +109,7 @@ unsigned long os_get_top_address(void)
|
|
exit(1);
|
|
exit(1);
|
|
}
|
|
}
|
|
|
|
|
|
- printf("0x%x\n", bottom << UM_KERN_PAGE_SHIFT);
|
|
|
|
|
|
+ printf("0x%lx\n", bottom << UM_KERN_PAGE_SHIFT);
|
|
printf("Locating the top of the address space ... ");
|
|
printf("Locating the top of the address space ... ");
|
|
fflush(stdout);
|
|
fflush(stdout);
|
|
|
|
|
|
@@ -134,7 +134,7 @@ out:
|
|
exit(1);
|
|
exit(1);
|
|
}
|
|
}
|
|
top <<= UM_KERN_PAGE_SHIFT;
|
|
top <<= UM_KERN_PAGE_SHIFT;
|
|
- printf("0x%x\n", top);
|
|
|
|
|
|
+ printf("0x%lx\n", top);
|
|
|
|
|
|
return top;
|
|
return top;
|
|
}
|
|
}
|