diff options
| author | Pierre-Marie Pédrot | 2019-05-17 15:58:05 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-09-25 22:14:34 +0200 |
| commit | 24eccfc6dfec012da081a0891c397f013cc590e5 (patch) | |
| tree | 2149f64a0aac6694977bfbb35b0f79c61c00dd7e /plugins | |
| parent | 4838fd47542018ba61cd096c93edf45b7ef68529 (diff) | |
Stub code for handling sections in kernel.
For now we only keep a count of the number of open sections, discriminating
between polymorphic and monomorphic ones.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions