Andrew Boie a824821b86 kernel: fix k_mem_partition data types ... 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>		2019-12-12 14:48:42 -08:00
..
app_memdomain.h	kernel: fix k_mem_partition data types	2019-12-12 14:48:42 -08:00
partitions.h	mbedtls: provide user mode access	2019-03-05 08:27:20 -05:00