Searched refs:acpi_data_size (Results 1 – 4 of 4) sorted by relevance
82 int acpi_data_size, bool pvh_enabled);
130 int acpi_data_size,
635 int acpi_data_size, in x86_load_linux() argument730 initrd_max = x86ms->below_4g_mem_size - acpi_data_size - 1; in x86_load_linux()798 if (initrd_max >= x86ms->below_4g_mem_size - acpi_data_size) { in x86_load_linux()799 initrd_max = x86ms->below_4g_mem_size - acpi_data_size - 1; in x86_load_linux()
167 int acpi_data_size, bool pvh_enabled) in x86_load_eif() argument