Export is_mem_free() function
authorSandrine Bailleux <sandrine.bailleux@arm.com>
Tue, 8 Nov 2016 14:27:10 +0000 (14:27 +0000)
committerDan Handley <dan.handley@arm.com>
Tue, 20 Dec 2016 11:43:10 +0000 (11:43 +0000)
The is_mem_free() function used to be local to bl_common.c.
This patch exports it so that it can be used outside of bl_common.c.

Change-Id: I01dcb4229f3a36f56a4724b567c5e6c416dc5e98
Signed-off-by: Sandrine Bailleux <sandrine.bailleux@arm.com>
common/bl_common.c
include/common/bl_common.h

index 15d5bdee0ebe809a65dc3f934bbbbbd2b24898f0..47bdad5a85036c9d949f9cb74dcb219538e466ca 100644 (file)
@@ -53,14 +53,13 @@ uintptr_t page_align(uintptr_t value, unsigned dir)
        return value;
 }
 
-#if !LOAD_IMAGE_V2
 /******************************************************************************
  * Determine whether the memory region delimited by 'addr' and 'size' is free,
  * given the extents of free memory.
  * Return 1 if it is free, 0 if it is not free or if the input values are
  * invalid.
  *****************************************************************************/
-static int is_mem_free(uintptr_t free_base, size_t free_size,
+int is_mem_free(uintptr_t free_base, size_t free_size,
                uintptr_t addr, size_t size)
 {
        uintptr_t free_end, requested_end;
@@ -97,6 +96,7 @@ static int is_mem_free(uintptr_t free_base, size_t free_size,
        return (addr >= free_base) && (requested_end <= free_end);
 }
 
+#if !LOAD_IMAGE_V2
 /******************************************************************************
  * Inside a given memory region, determine whether a sub-region of memory is
  * closer from the top or the bottom of the encompassing region. Return the
index 12d5036c8b1cf7ec068ffc366af51a8a215dce29..5076dfd52be7e46c841a60904a35041b484db507 100644 (file)
@@ -361,6 +361,9 @@ CASSERT(sizeof(uintptr_t) ==
  ******************************************************************************/
 size_t image_size(unsigned int image_id);
 
+int is_mem_free(uintptr_t free_base, size_t free_size,
+               uintptr_t addr, size_t size);
+
 #if LOAD_IMAGE_V2
 
 int load_image(unsigned int image_id, image_info_t *image_data);