return NULL;
        }
 
-       status = low_alloc(sys_table, 0x4000, 1, (unsigned long *)&boot_params);
+       status = efi_low_alloc(sys_table, 0x4000, 1,
+                              (unsigned long *)&boot_params);
        if (status != EFI_SUCCESS) {
                efi_printk(sys_table, "Failed to alloc lowmem for boot params\n");
                return NULL;
 
                        options_size++; /* NUL termination */
 
-                       status = low_alloc(sys_table, options_size, 1,
+                       status = efi_low_alloc(sys_table, options_size, 1,
                                           &cmdline);
                        if (status != EFI_SUCCESS) {
                                efi_printk(sys_table, "Failed to alloc mem for cmdline\n");
        return boot_params;
 fail2:
        if (options_size)
-               low_free(sys_table, options_size, hdr->cmd_line_ptr);
+               efi_free(sys_table, options_size, hdr->cmd_line_ptr);
 fail:
-       low_free(sys_table, 0x4000, (unsigned long)boot_params);
+       efi_free(sys_table, 0x4000, (unsigned long)boot_params);
        return NULL;
 }
 
 again:
        size += sizeof(*mem_map) * 2;
        _size = size;
-       status = low_alloc(sys_table, size, 1, (unsigned long *)&mem_map);
+       status = efi_low_alloc(sys_table, size, 1, (unsigned long *)&mem_map);
        if (status != EFI_SUCCESS)
                return status;
 
        status = efi_call_phys5(sys_table->boottime->get_memory_map, &size,
                                mem_map, &key, &desc_size, &desc_version);
        if (status == EFI_BUFFER_TOO_SMALL) {
-               low_free(sys_table, _size, (unsigned long)mem_map);
+               efi_free(sys_table, _size, (unsigned long)mem_map);
                goto again;
        }
 
        return EFI_SUCCESS;
 
 free_mem_map:
-       low_free(sys_table, _size, (unsigned long)mem_map);
+       efi_free(sys_table, _size, (unsigned long)mem_map);
        return status;
 }
 
                                EFI_ALLOCATE_ADDRESS, EFI_LOADER_DATA,
                                nr_pages, &start);
        if (status != EFI_SUCCESS) {
-               status = low_alloc(sys_table, hdr->init_size,
+               status = efi_low_alloc(sys_table, hdr->init_size,
                                   hdr->kernel_alignment, &start);
                if (status != EFI_SUCCESS)
                        efi_printk(sys_table, "Failed to alloc mem for kernel\n");
        }
 
        gdt->size = 0x800;
-       status = low_alloc(sys_table, gdt->size, 8,
+       status = efi_low_alloc(sys_table, gdt->size, 8,
                           (unsigned long *)&gdt->address);
        if (status != EFI_SUCCESS) {
                efi_printk(sys_table, "Failed to alloc mem for gdt\n");
 
 /*
  * Allocate at the highest possible address that is not above 'max'.
  */
-static efi_status_t high_alloc(efi_system_table_t *sys_table_arg,
+static efi_status_t efi_high_alloc(efi_system_table_t *sys_table_arg,
                               unsigned long size, unsigned long align,
                               unsigned long *addr, unsigned long max)
 {
 /*
  * Allocate at the lowest possible address.
  */
-static efi_status_t low_alloc(efi_system_table_t *sys_table_arg,
-               unsigned long size, unsigned long align,
+static efi_status_t efi_low_alloc(efi_system_table_t *sys_table_arg,
+                             unsigned long size, unsigned long align,
                              unsigned long *addr)
 {
        unsigned long map_size, desc_size;
        return status;
 }
 
-static void low_free(efi_system_table_t *sys_table_arg, unsigned long size,
+static void efi_free(efi_system_table_t *sys_table_arg, unsigned long size,
                     unsigned long addr)
 {
        unsigned long nr_pages;
                 * addresses in memory, so allocate enough memory for
                 * all the initrd's.
                 */
-               status = high_alloc(sys_table_arg, initrd_total, 0x1000,
-                                  &initrd_addr, hdr->initrd_addr_max);
+               status = efi_high_alloc(sys_table_arg, initrd_total, 0x1000,
+                                   &initrd_addr, hdr->initrd_addr_max);
                if (status != EFI_SUCCESS) {
                        efi_printk(sys_table_arg, "Failed to alloc highmem for initrds\n");
                        goto close_handles;
        return status;
 
 free_initrd_total:
-       low_free(sys_table_arg, initrd_total, initrd_addr);
+       efi_free(sys_table_arg, initrd_total, initrd_addr);
 
 close_handles:
        for (k = j; k < i; k++)