Searched refs:rcu_virt_note_context_switch (Results 1 – 3 of 3) sorted by relevance
31 static inline void rcu_virt_note_context_switch(void) in rcu_virt_note_context_switch() function
147 static inline void rcu_virt_note_context_switch(void) { } in rcu_virt_note_context_switch() function
432 rcu_virt_note_context_switch(); in guest_context_enter_irqoff()