|
@@ -46,10 +46,10 @@ static void efi_printk(efi_system_table_t *sys_table_arg, char *str)
|
|
|
}
|
|
|
|
|
|
|
|
|
-static efi_status_t __get_map(efi_system_table_t *sys_table_arg,
|
|
|
- efi_memory_desc_t **map,
|
|
|
- unsigned long *map_size,
|
|
|
- unsigned long *desc_size)
|
|
|
+static efi_status_t efi_get_memory_map(efi_system_table_t *sys_table_arg,
|
|
|
+ efi_memory_desc_t **map,
|
|
|
+ unsigned long *map_size,
|
|
|
+ unsigned long *desc_size)
|
|
|
{
|
|
|
efi_memory_desc_t *m = NULL;
|
|
|
efi_status_t status;
|
|
@@ -97,7 +97,7 @@ static efi_status_t efi_high_alloc(efi_system_table_t *sys_table_arg,
|
|
|
u64 max_addr = 0;
|
|
|
int i;
|
|
|
|
|
|
- status = __get_map(sys_table_arg, &map, &map_size, &desc_size);
|
|
|
+ status = efi_get_memory_map(sys_table_arg, &map, &map_size, &desc_size);
|
|
|
if (status != EFI_SUCCESS)
|
|
|
goto fail;
|
|
|
|
|
@@ -183,7 +183,7 @@ static efi_status_t efi_low_alloc(efi_system_table_t *sys_table_arg,
|
|
|
unsigned long nr_pages;
|
|
|
int i;
|
|
|
|
|
|
- status = __get_map(sys_table_arg, &map, &map_size, &desc_size);
|
|
|
+ status = efi_get_memory_map(sys_table_arg, &map, &map_size, &desc_size);
|
|
|
if (status != EFI_SUCCESS)
|
|
|
goto fail;
|
|
|
|