diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-08-09 07:18:53 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-08-09 07:20:30 -0400 |
| commit | dfbc9a0ee19aaf08ebf2f620db43098f108fbfb2 (patch) | |
| tree | fe0bda0258fe2e647b6f187fd0f64dc287d70ec3 /net/unix | |
| parent | e728184e7db3d1cbd1b0f3398233c2bbdc6db07e (diff) | |
Hook into finish_switch()
To keep track of stack usage and to notify plugin, if necessary.
Diffstat (limited to 'net/unix')
0 files changed, 0 insertions, 0 deletions