xen_mc_callback
xen_mc_callback(set_current_cr3, (void *)cr3);
xen_mc_callback(xen_pte_unlock, ptl);
xen_mc_callback(xen_pte_unlock, ptl);
void xen_mc_callback(void (*fn)(void *), void *data);
TRACE_EVENT(xen_mc_callback,