Symbol: dtrace_cas32
sys/cddl/dev/dtrace/dtrace_vtime.c
50
} while (dtrace_cas32((uint32_t *)&dtrace_vtime_active,
sys/cddl/dev/dtrace/dtrace_vtime.c
77
} while (dtrace_cas32((uint32_t *)&dtrace_vtime_active,