From 214c685726567d88b552eac6e20a55efb9161b70 Mon Sep 17 00:00:00 2001 From: Leandro Pereira Date: Tue, 20 Feb 2018 16:15:14 -0800 Subject: [PATCH] kernel: mem_domain: Pass proper type to ensure_w_xor_x() The attributes are an u32_t only on ARM and ARC; on x86, it's something else entirely. Use the proper type to avoid attributes being truncated. Signed-off-by: Leandro Pereira --- kernel/mem_domain.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kernel/mem_domain.c b/kernel/mem_domain.c index 56552c6be6a..a67650abcd6 100644 --- a/kernel/mem_domain.c +++ b/kernel/mem_domain.c @@ -12,7 +12,7 @@ static u8_t max_partitions; -static void ensure_w_xor_x(u32_t attrs) +static void ensure_w_xor_x(k_mem_partition_attr_t attrs) { #if defined(CONFIG_EXECUTE_XOR_WRITE) && __ASSERT_ON bool writable = K_MEM_PARTITION_IS_WRITABLE(attrs);