Fix using non-existent xc functions in events

Not sure what and why I was doing what I did here but neither of these xc_* functions actually exists in either versions of Xen. Why I didn't found it when I was testing is a mystery. O.o