michaelh/zephyr
1
0
Fork 0
Code Releases Activity

Revert "x86: MMU: Configure page tables entries for memory domain in swap."

Browse source 
This reverts commit a8b9353421.
This commit is contained in:
Andrew Boie 2017-10-20 11:27:37 -07:00 • committed by Anas Nashif
commit de777adf7b
1 changed files with 1 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

11
arch/x86/core/thread.c
View file

@ -164,18 +164,9 @@ void _x86_swap_update_page_tables(struct k_thread *incoming,
*/
_main_tss.esp0 = incoming->stack_info.start;
/* If either thread defines different memory domains, efficiently
/* TODO: if either thread defines different memory domains, efficiently
* switch between them
*/
if (incoming->mem_domain_info.mem_domain !=
outgoing->mem_domain_info.mem_domain){
/* Ensure that the outgoing mem domain configuration
* is set back to default state.
*/
_arch_mem_domain_destroy(outgoing->mem_domain_info.mem_domain);
_x86_load_mmu_mem_domain(incoming);
}
}