summaryrefslogtreecommitdiff
path: root/xen/include
diff options
context:
space:
mode:
authorJan Beulich <jbeulich@suse.com>2020-09-15 10:20:37 +0200
committerJan Beulich <jbeulich@suse.com>2020-09-15 10:20:37 +0200
commita4cbe0f3b47656ea125922fd48d394731a0163fd (patch)
treead38751b26d838a4e3f2a41e61f84026698189bf /xen/include
parentb807cfe954b8d0d8852398b4c8a586d95d69a342 (diff)
EFI: free unused boot mem in at least some cases
Address at least the primary reason why 52bba67f8b87 ("efi/boot: Don't free ebmalloc area at all") was put in place: Make xen_in_range() aware of the freed range. This is in particular relevant for EFI-enabled builds not actually running on EFI, as the entire range will be unused in this case. Signed-off-by: Jan Beulich <jbeulich@suse.com> Acked-by: Roger Pau Monné <roger.pau@citrix.com>
Diffstat (limited to 'xen/include')
-rw-r--r--xen/include/xen/efi.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/xen/include/xen/efi.h b/xen/include/xen/efi.h
index 44b7d3ec3a..94a7e547f9 100644
--- a/xen/include/xen/efi.h
+++ b/xen/include/xen/efi.h
@@ -33,6 +33,7 @@ struct compat_pf_efi_runtime_call;
bool efi_enabled(unsigned int feature);
void efi_init_memory(void);
+bool efi_boot_mem_unused(unsigned long *start, unsigned long *end);
bool efi_rs_using_pgtables(void);
unsigned long efi_get_time(void);
void efi_halt_system(void);