Searched refs:HAVE_RT_PUSH_IPI (Results 1 – 4 of 4) sorted by relevance
67 #ifdef HAVE_RT_PUSH_IPI
587 # define HAVE_RT_PUSH_IPI macro758 #ifdef HAVE_RT_PUSH_IPI793 #ifdef HAVE_RT_PUSH_IPI
1876 #ifdef HAVE_RT_PUSH_IPI2068 #ifdef HAVE_RT_PUSH_IPI in pull_rt_task()
501 #ifdef HAVE_RT_PUSH_IPI in init_rootdomain()