diff options
author | Oleksandr Andrushchenko <oleksandr_andrushchenko@epam.com> | 2020-08-06 12:43:00 +0300 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2020-08-14 15:18:30 -0400 |
commit | d17f6698b8e07b15941dd888a4b2d69aa046ae1e (patch) | |
tree | 310aa01f4f023a24c16807e2998d10fe079881f5 /include/xen.h | |
parent | 53d725c74e825cdbca9c278514a44b1aa15513e3 (diff) | |
download | u-boot-d17f6698b8e07b15941dd888a4b2d69aa046ae1e.tar.gz u-boot-d17f6698b8e07b15941dd888a4b2d69aa046ae1e.tar.bz2 u-boot-d17f6698b8e07b15941dd888a4b2d69aa046ae1e.zip |
board: xen: De-initialize before jumping to Linux
Free resources used by Xen board before jumping to Linux kernel.
Signed-off-by: Oleksandr Andrushchenko <oleksandr_andrushchenko@epam.com>
Signed-off-by: Anastasiia Lukianenko <anastasiia_lukianenko@epam.com>
Reviewed-by: Simon Glass <sjg@chromium.org>
Diffstat (limited to 'include/xen.h')
-rw-r--r-- | include/xen.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/include/xen.h b/include/xen.h index 686b7148b5..a952a2c84b 100644 --- a/include/xen.h +++ b/include/xen.h @@ -13,4 +13,12 @@ */ void xen_init(void); +/** + * xen_fini() - Board cleanup before Linux kernel start + * + * Unmap Xen memory pages the specified guest's pseudophysical + * address space and unbind all event channels. + */ +void xen_fini(void); + #endif /* __XEN_H__ */ |