Home
last modified time | relevance | path

Searched refs:HAVE_RT_PUSH_IPI (Results 1 – 1 of 1) sorted by relevance

/linux/kernel/sched/
H A Dsched.h834 # define HAVE_RT_PUSH_IPI macro
1032 #ifdef HAVE_RT_PUSH_IPI
1076 #ifdef HAVE_RT_PUSH_IPI