plat/kvm/x86: Make sure we allocate the `SIPI Vector` as reserved

Now that we can dynamically decide the `SIPI Vector`, make sure
we do this allocation when all the memory regions are properly
setup in the `Multiboot1` memory region setup method.

Signed-off-by: Sergiu Moga <sergiu.moga@protonmail.com>
Reviewed-by: Michalis Pappas <michalis@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #848

diff --git a/plat/kvm/x86/multiboot.c b/plat/kvm/x86/multiboot.c
index c798cb2b06032a1fc2d356dc3030919ca37c6091..b41d9fa9e4af8f8eb0b88a424d44776fb360f827 100644 (file)
--- a/plat/kvm/x86/multiboot.c
+++ b/plat/kvm/x86/multiboot.c
@@ -155,5 +155,7 @@ void multiboot_entry(struct lcpu *lcpu, struct multiboot_info *mi)
 
        ukplat_memregion_list_coalesce(&bi->mrds);
 
+       ukplat_memregion_alloc_sipi_vect();
+
        _ukplat_entry(lcpu, bi);
 }