Searched refs:OPTION_NO_TLB_IPI (Results 1 – 1 of 1) sorted by relevance
23 #define OPTION_NO_TLB_IPI BIT(0) macro915 if ((option & OPTION_NO_TLB_IPI) != OPTION_NO_TLB_IPI) { in update_region()992 OPTION_NO_TLB_IPI); in arch_mem_domain_thread_add()1050 thread->stack_info.size, OPTION_NO_TLB_IPI); in arch_mem_domain_thread_remove()
