static int get_module_file_index(const char *name, unsigned int name_len);
static void PrintMessage(const CHAR16 *s);
-static int allocate_module_file(EFI_LOADED_IMAGE *loaded_image,
- EFI_FILE_HANDLE *dir_handle,
- const char *name,
- unsigned int name_len);
-static int handle_module_node(EFI_LOADED_IMAGE *loaded_image,
- EFI_FILE_HANDLE *dir_handle,
- int module_node_offset,
- int reg_addr_cells,
- int reg_size_cells,
- bool is_domu_module);
-static int handle_dom0less_domain_node(EFI_LOADED_IMAGE *loaded_image,
- EFI_FILE_HANDLE *dir_handle,
- int domain_node);
-static int efi_check_dt_boot(EFI_LOADED_IMAGE *loaded_image);
#define DEVICE_TREE_GUID \
{0xb1b621d5, 0xf19c, 0x41a5, {0x83, 0x0b, 0xd9, 0x15, 0x2c, 0x69, 0xaa, 0xe0}}
* This function allocates a binary and keeps track of its name, it returns the
* index of the file in the modules array or a negative number on error.
*/
-static int __init allocate_module_file(EFI_LOADED_IMAGE *loaded_image,
+static int __init allocate_module_file(const EFI_LOADED_IMAGE *loaded_image,
EFI_FILE_HANDLE *dir_handle,
const char *name,
unsigned int name_len)
* for the reg property into the module DT node.
* Returns 1 if module is multiboot,module, 0 if not, < 0 on error
*/
-static int __init handle_module_node(EFI_LOADED_IMAGE *loaded_image,
+static int __init handle_module_node(const EFI_LOADED_IMAGE *loaded_image,
EFI_FILE_HANDLE *dir_handle,
int module_node_offset,
int reg_addr_cells,
* in the DT.
* Returns number of multiboot,module found or negative number on error.
*/
-static int __init handle_dom0less_domain_node(EFI_LOADED_IMAGE *loaded_image,
+static int __init handle_dom0less_domain_node(const EFI_LOADED_IMAGE *loaded_image,
EFI_FILE_HANDLE *dir_handle,
int domain_node)
{
* dom0 and domU guests to be loaded.
* Returns the number of multiboot modules found or a negative number for error.
*/
-static int __init efi_check_dt_boot(EFI_LOADED_IMAGE *loaded_image)
+static int __init efi_check_dt_boot(const EFI_LOADED_IMAGE *loaded_image)
{
int chosen, node, addr_len, size_len;
unsigned int i = 0, modules_found = 0;
stop_cpu();
}
-static void __init efi_arch_load_addr_check(EFI_LOADED_IMAGE *loaded_image)
+static void __init efi_arch_load_addr_check(const EFI_LOADED_IMAGE *loaded_image)
{
if ( (unsigned long)loaded_image->ImageBase & ((1 << 12) - 1) )
blexit(L"Xen must be loaded at a 4 KByte boundary.");