- int cpu = get_cpu();
- int type = 0;
-
- if (KeGetCurrentIrql() >= DISPATCH_LEVEL)
- type = TCD_TYPE_DISPATCH;
- else
- type = TCD_TYPE_PASSIVE;
- return &(*trace_data[type])[cpu].tcd;
-}
-
-void
-trace_put_tcd (struct trace_cpu_data *tcd)
-{
- put_cpu();
-}
-
-int trace_lock_tcd(struct trace_cpu_data *tcd)
-{
- __LASSERT(tcd->tcd_type < TCD_TYPE_MAX);