plat/common/x86: Use `X86_VIDEO_MEM_START` for SIPI vector allocation

Commit a001e41f607c ("plat/common/x86: Increase legacy high regions granularity")
changed the definitions of some x86 memregion related macro-definitions.
By mistake it forgot to adapt the `ukplat_memregion_alloc_sipi_vect`
function which was using one them. This was not caught at the time as it
required one to have SMP enabled in order to get the build error.

Checkpatch-Ignore: COMMIT_LOG_LONG_LINE
Signed-off-by: Sergiu Moga <sergiu@unikraft.io>
Reviewed-by: Mihnea Firoiu <mihneafiroiu0@gmail.com>
Reviewed-by: Ioan-Teodor Teugea <ioan_teodor.teugea@stud.acs.upb.ro>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
GitHub-Closes: #1457

diff --git a/plat/common/include/uk/plat/common/memory.h b/plat/common/include/uk/plat/common/memory.h
index 8321b21d0e8eea77e85bce65f388d085f7ac7307..9c8da73c64f81d4101706ac3e23d1cc8e213f53c 100644 (file)
--- a/plat/common/include/uk/plat/common/memory.h
+++ b/plat/common/include/uk/plat/common/memory.h
@@ -200,7 +200,8 @@ ukplat_memregion_alloc_sipi_vect(void)
                                                          UKPLAT_MEMRT_RESERVED,
                                                          UKPLAT_MEMRF_READ  |
                                                          UKPLAT_MEMRF_WRITE);
-       if (unlikely(!x86_start16_addr || x86_start16_addr >= X86_HI_MEM_START))
+       if (unlikely(!x86_start16_addr ||
+                    x86_start16_addr >= X86_VIDEO_MEM_START))
                return -ENOMEM;
 
        return 0;