TIF_LAZY_MMU_PENDING
if (!test_thread_flag(TIF_LAZY_MMU_PENDING))
set_thread_flag(TIF_LAZY_MMU_PENDING);
if (test_and_clear_thread_flag(TIF_LAZY_MMU_PENDING))