/* Force a proper event-channel callback from Xen after clearing the callback mask. We do this in a very simple manner, by making a call down into Xen. The pending flag will be checked by Xen on return.  */
void xen_force_evtchn_callback(void)
/* Force a proper event-channel callback from Xen after clearing the callback mask. We do this in a very simple manner, by making a call down into Xen. The pending flag will be checked by Xen on return.  */
void xen_force_evtchn_callback(void)
{
	(void)HYPERVISOR_xen_version(0, NULL);
}