Revert "kernel: arch interface for memory domain"

This reverts commit 9bbe7bd61e.
This commit is contained in:
Andrew Boie 2017-10-20 11:27:37 -07:00 committed by Anas Nashif
commit 98bf5234dc

View file

@ -95,30 +95,6 @@ static inline unsigned int _Swap(unsigned int key)
* @return Max number of free regions, or -1 if there is no limit * @return Max number of free regions, or -1 if there is no limit
*/ */
extern int _arch_mem_domain_max_partitions_get(void); extern int _arch_mem_domain_max_partitions_get(void);
/**
* @brief Remove a partition from the memory domain
*
* A memory domain contains multiple partitions and this API provides the
* freedom to remove a particular partition while keeping others intact.
* This API will handle any arch/HW specific changes that needs to be done.
*
* @param domain The memory domain structure
* @param partition_id The partition that needs to be deleted
*/
extern void _arch_mem_domain_remove_partition(struct k_mem_domain *domain,
u32_t partition_id);
/**
* @brief Remove the memory domain
*
* A memory domain contains multiple partitions and this API will traverse
* all these to reset them back to default setting.
* This API will handle any arch/HW specific changes that needs to be done.
*
* @param domain The memory domain structure which needs to be deleted.
*/
extern void _arch_mem_domain_destroy(struct k_mem_domain *domain);
#endif #endif
#ifdef CONFIG_USERSPACE #ifdef CONFIG_USERSPACE