kernel: Arch specific memory domain APIs added

Added arch specific calls to handle memory domain destroy
and removal of partition.

GH-3852

Signed-off-by: Adithya Baglody <[email protected]>

Author: AdithyaBaglody

kernel/mem_domain.c

@@ -12,7 +12,6 @@
 
 static u8_t max_partitions;
 
-
 void k_mem_domain_init(struct k_mem_domain *domain, u32_t num_parts,
 		struct k_mem_partition *parts[])
 {
@@ -49,6 +48,11 @@ void k_mem_domain_destroy(struct k_mem_domain *domain)
 
 	key = irq_lock();
 
+	/* Handle architecture specifc destroy only if it is the current thread*/
+	if (_current->mem_domain_info.mem_domain == domain) {
+		_arch_mem_domain_destroy(domain);
+	}
+
 	SYS_DLIST_FOR_EACH_NODE_SAFE(&domain->mem_domain_q, node, next_node) {
 		struct k_thread *thread =
 			CONTAINER_OF(node, struct k_thread, mem_domain_info);
@@ -111,6 +115,11 @@ void k_mem_domain_remove_partition(struct k_mem_domain *domain,
 	/* Assert if not found */
 	__ASSERT(p_idx < max_partitions, "");
 
+	/* Handle architecture specifc remove only if it is the current thread*/
+	if (_current->mem_domain_info.mem_domain == domain) {
+		_arch_mem_domain_remove_partition(domain, p_idx);
+	}
+
 	domain->partitions[p_idx].start = 0;
 	domain->partitions[p_idx].size = 0;
 	domain->partitions[p_idx].attr = 0;