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