struct page_info *pg,
unsigned int order)
{
- int res, i;
+ unsigned int i;
+ int res;
mfn_t smfn;
paddr_t start, size;
const unsigned int min_order = get_order_from_bytes(MB(4));
struct page_info *pg;
unsigned int order = get_allocation_size(kinfo->unassigned_mem);
- int i;
+ unsigned int i;
bool lowmem = true;
unsigned int lowmem_bitsize = min(32U, arch_get_dma_bitsize());
int addrcells, int sizecells,
struct meminfo *mem)
{
- int res, i;
- int reg_size = addrcells + sizecells;
+ unsigned int i;
+ int res, reg_size = addrcells + sizecells;
int nr_cells = 0;
/* Placeholder for memory@ + a 64-bit number + \0 */
char buf[24];
/* Constant to indicate "Xen" in unicode u16 format */
static const CHAR16 xen_efi_fw_vendor[] = {0x0058, 0x0065, 0x006E, 0x0000};
-size_t __init estimate_efi_size(int mem_nr_banks)
+size_t __init estimate_efi_size(unsigned int mem_nr_banks)
{
size_t size;
size_t est_size = sizeof(EFI_SYSTEM_TABLE);
size_t ect_size = sizeof(EFI_CONFIGURATION_TABLE);
size_t emd_size = sizeof(EFI_MEMORY_DESCRIPTOR);
size_t fw_vendor_size = sizeof(xen_efi_fw_vendor);
- int acpi_mem_nr_banks = 0;
+ unsigned int acpi_mem_nr_banks = 0;
if ( !acpi_disabled )
acpi_mem_nr_banks = bootinfo.acpi.nr_banks;
};
struct meminfo {
- int nr_banks;
+ unsigned int nr_banks;
struct membank bank[NR_MEM_BANKS];
};
void copy_from_paddr(void *dst, paddr_t paddr, unsigned long len);
-size_t estimate_efi_size(int mem_nr_banks);
+size_t estimate_efi_size(unsigned int mem_nr_banks);
void acpi_create_efi_system_table(struct domain *d,
struct membank tbl_add[]);
void discard_initial_modules(void);
void fw_unreserved_regions(paddr_t s, paddr_t e,
- void (*cb)(paddr_t, paddr_t), int first);
+ void (*cb)(paddr_t, paddr_t), unsigned int first);
size_t boot_fdt_info(const void *fdt, paddr_t paddr);
const char *boot_fdt_cmdline(const void *fdt);
static void __init dt_unreserved_regions(paddr_t s, paddr_t e,
void (*cb)(paddr_t, paddr_t),
- int first)
+ unsigned int first)
{
- int i, nr = fdt_num_mem_rsv(device_tree_flattened);
+ unsigned int i, nr;
+ int rc;
+
+ rc = fdt_num_mem_rsv(device_tree_flattened);
+ if ( rc < 0 )
+ panic("Unable to retrieve the number of reserved regions (rc=%d)\n",
+ rc);
+
+ nr = rc;
for ( i = first; i < nr ; i++ )
{
}
void __init fw_unreserved_regions(paddr_t s, paddr_t e,
- void (*cb)(paddr_t, paddr_t), int first)
+ void (*cb)(paddr_t, paddr_t),
+ unsigned int first)
{
if ( acpi_disabled )
dt_unreserved_regions(s, e, cb, first);
paddr_t s, e;
unsigned long ram_pages;
unsigned long heap_pages, xenheap_pages, domheap_pages;
- int i;
+ unsigned int i;
const uint32_t ctr = READ_CP32(CTR);
if ( !bootinfo.mem.nr_banks )