[Pal] Use size_t instead of int for size parameter

Pal/src/host/FreeBSD/db_memory.c

@@ -36,7 +36,7 @@
 #include <sys/sysctl.h>
 #include <sys/vmmeter.h>
 
-bool _DkCheckMemoryMappable (const void * addr, int size)
+bool _DkCheckMemoryMappable (const void * addr, size_t size)
 {
     return (addr <= DATA_END && addr + size >= TEXT_START);
 }

Pal/src/host/Linux-SGX/db_memory.c

@@ -46,7 +46,7 @@ static struct pal_vma {
 static unsigned int pal_nvmas = 0;
 static struct spinlock pal_vma_lock;
 
-bool _DkCheckMemoryMappable (const void * addr, int size)
+bool _DkCheckMemoryMappable (const void * addr, size_t size)
 {
     if (addr < DATA_END && addr + size > TEXT_START) {
         printf("address %p-%p is not mappable\n", addr, addr + size);

Pal/src/host/Linux/db_memory.c

@@ -35,7 +35,7 @@
 #include <asm/mman.h>
 #include <asm/fcntl.h>
 
-bool _DkCheckMemoryMappable (const void * addr, int size)
+bool _DkCheckMemoryMappable (const void * addr, size_t size)
 {
     return (addr < DATA_END && addr + size > TEXT_START);
 }

Pal/src/host/Skeleton/db_memory.c

@@ -30,7 +30,7 @@
 #include "pal_debug.h"
 #include "api.h"
 
-bool _DkCheckMemoryMappable (const void * addr, int size)
+bool _DkCheckMemoryMappable (const void * addr, size_t size)
 {
     return true;
 }

Pal/src/pal_internal.h

@@ -267,7 +267,7 @@ void pal_main (
 unsigned long _DkGetPagesize (void);
 unsigned long _DkGetAllocationAlignment (void);
 void _DkGetAvailableUserAddressRange (PAL_PTR * start, PAL_PTR * end);
-bool _DkCheckMemoryMappable (const void * addr, int size);
+bool _DkCheckMemoryMappable (const void * addr, size_t size);
 PAL_NUM _DkGetProcessId (void);
 PAL_NUM _DkGetHostId (void);
 unsigned long _DkMemoryQuota (void);