|
@@ -170,7 +170,6 @@ again:
|
|
|
*addr = max_addr;
|
|
|
}
|
|
|
|
|
|
-free_pool:
|
|
|
efi_call_phys1(sys_table_arg->boottime->free_pool, map);
|
|
|
|
|
|
fail:
|
|
@@ -244,7 +243,6 @@ static efi_status_t efi_low_alloc(efi_system_table_t *sys_table_arg,
|
|
|
if (i == map_size / desc_size)
|
|
|
status = EFI_NOT_FOUND;
|
|
|
|
|
|
-free_pool:
|
|
|
efi_call_phys1(sys_table_arg->boottime->free_pool, map);
|
|
|
fail:
|
|
|
return status;
|
|
@@ -360,7 +358,7 @@ static efi_status_t handle_cmdline_files(efi_system_table_t *sys_table_arg,
|
|
|
|
|
|
if (*str == '/') {
|
|
|
*p++ = '\\';
|
|
|
- *str++;
|
|
|
+ str++;
|
|
|
} else {
|
|
|
*p++ = *str++;
|
|
|
}
|