diff options
Diffstat (limited to 'board/xen/xenguest_arm64')
| -rw-r--r-- | board/xen/xenguest_arm64/xenguest_arm64.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/board/xen/xenguest_arm64/xenguest_arm64.c b/board/xen/xenguest_arm64/xenguest_arm64.c index cd3693892a..cce54369bb 100644 --- a/board/xen/xenguest_arm64/xenguest_arm64.c +++ b/board/xen/xenguest_arm64/xenguest_arm64.c @@ -12,6 +12,7 @@ #include <dm.h> #include <errno.h> #include <malloc.h> +#include <xen.h> #include <asm/io.h> #include <asm/armv8/mmu.h> @@ -194,3 +195,8 @@ int print_cpuinfo(void) return 0; } +void board_cleanup_before_linux(void) +{ + xen_fini(); +} + |