michaelh/zephyr
1
0
Fork 0
Code Releases Activity

kernel: fix k_mem_partition data types

Browse source 
We need a size_t and not a u32_t for partition sizes,
for 64-bit compatibility.

Additionally, app_memdomain.h was also casting the base
address to a u32_t instead of a uintptr_t.

Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
This commit is contained in:
Andrew Boie 2019-11-13 12:10:56 -08:00 • committed by Andrew Boie
commit a824821b86
4 changed files with 7 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

4
kernel/mem_domain.c
View file

@ -101,7 +101,7 @@ void k_mem_domain_init(struct k_mem_domain *domain, u8_t num_parts,
__ASSERT(parts[i] != NULL, "");
__ASSERT((parts[i]->start + parts[i]->size) >
parts[i]->start,
"invalid partition %p size %d",
"invalid partition %p size %zu",
parts[i], parts[i]->size);
#if defined(CONFIG_EXECUTE_XOR_WRITE) || \
@ -151,7 +151,7 @@ void k_mem_domain_add_partition(struct k_mem_domain *domain,
__ASSERT(domain != NULL, "");
__ASSERT(part != NULL, "");
__ASSERT((part->start + part->size) > part->start,
"invalid partition %p size %d", part, part->size);
"invalid partition %p size %zu", part, part->size);
#if defined(CONFIG_EXECUTE_XOR_WRITE) || \
defined(CONFIG_MPU_REQUIRES_NON_OVERLAPPING_REGIONS)