From d11e3c3456b428dfdaecc39cc5908b50a1227972 Mon Sep 17 00:00:00 2001 From: Andrew Boie Date: Tue, 25 Aug 2020 16:47:44 -0700 Subject: [PATCH] userspace: add debug logs to mem domain code Useful when debugging stuff. Signed-off-by: Andrew Boie --- kernel/mem_domain.c | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/kernel/mem_domain.c b/kernel/mem_domain.c index 97f3e10532f..e00a7b2b5d2 100644 --- a/kernel/mem_domain.c +++ b/kernel/mem_domain.c @@ -181,6 +181,9 @@ void k_mem_domain_add_partition(struct k_mem_domain *domain, __ASSERT(p_idx < max_partitions, "no free partition slots available"); + LOG_DBG("add partition base %lx size %zu to domain %p\n", + part->start, part->size, domain); + domain->partitions[p_idx].start = part->start; domain->partitions[p_idx].size = part->size; domain->partitions[p_idx].attr = part->attr; @@ -212,6 +215,9 @@ void k_mem_domain_remove_partition(struct k_mem_domain *domain, __ASSERT(p_idx < max_partitions, "no matching partition found"); + LOG_DBG("remove partition base %lx size %zu from domain %p\n", + part->start, part->size, domain); + arch_mem_domain_partition_remove(domain, p_idx); /* A zero-sized partition denotes it's a free partition */ @@ -231,9 +237,13 @@ void k_mem_domain_add_thread(struct k_mem_domain *domain, k_tid_t thread) key = k_spin_lock(&lock); if (thread->mem_domain_info.mem_domain != NULL) { + LOG_DBG("remove thread %p from memory domain %p\n", + thread, thread->mem_domain_info.mem_domain); sys_dlist_remove(&thread->mem_domain_info.mem_domain_q_node); arch_mem_domain_thread_remove(thread); } + + LOG_DBG("add thread %p to domain %p\n", thread, domain); sys_dlist_append(&domain->mem_domain_q, &thread->mem_domain_info.mem_domain_q_node); thread->mem_domain_info.mem_domain = domain;