Xen events - addition of xen_set_listener_required (not being called as of this commit: just recording notes and sketching shape of function