Searched refs:HAVE_RT_PUSH_IPI (Results 1 – 4 of 4) sorted by relevance
67 #ifdef HAVE_RT_PUSH_IPI
589 # define HAVE_RT_PUSH_IPI macro766 #ifdef HAVE_RT_PUSH_IPI803 #ifdef HAVE_RT_PUSH_IPI
1927 #ifdef HAVE_RT_PUSH_IPI2119 #ifdef HAVE_RT_PUSH_IPI in pull_rt_task()
501 #ifdef HAVE_RT_PUSH_IPI in init_rootdomain()