Searched refs:HAVE_RT_PUSH_IPI (Results 1 – 4 of 4) sorted by relevance
62 #ifdef HAVE_RT_PUSH_IPI
661 # define HAVE_RT_PUSH_IPI macro865 #ifdef HAVE_RT_PUSH_IPI900 #ifdef HAVE_RT_PUSH_IPI
2188 #ifdef HAVE_RT_PUSH_IPI2381 #ifdef HAVE_RT_PUSH_IPI in pull_rt_task()
548 #ifdef HAVE_RT_PUSH_IPI in init_rootdomain()