static void lguest_end_context_switch(struct task_struct *next) { hcall(LHCALL_FLUSH_ASYNC, 0, 0, 0, 0); paravirt_end_context_switch(next); }
static void xen_end_context_switch(struct task_struct *next) { xen_mc_flush(); paravirt_end_context_switch(next); }
static void lguest_end_context_switch(struct task_struct *next) { kvm_hypercall0(LHCALL_FLUSH_ASYNC); paravirt_end_context_switch(next); }