dtrace_xcall
dtrace_xcall(DTRACE_CPUALL,
dtrace_xcall(desc.dtbd_cpu,
dtrace_xcall(DTRACE_CPUALL,
extern void dtrace_xcall(processorid_t, dtrace_xcall_t, void *);
dtrace_xcall(DTRACE_CPUALL, (dtrace_xcall_t)dtrace_sync_func, NULL);