
### NAME

    trace_end - stop collecting driver trace

### SYNOPSIS

    void trace_end()

### DESCRIPTION

    Stop tracing and write out result immediately.

    if tracing is not enabled, this efun has no effect.

### SEE ALSO

    trace_start()

