diff options
| author | Miles Bader <miles@gnu.org> | 1995-10-21 00:04:08 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-10-21 00:04:08 +0000 |
| commit | 817618ee8145ded8a3051fae33f9e4ff3bb4233a (patch) | |
| tree | bb774d6fc65868587950e13381ba3a01c0cda62f /proc | |
| parent | a3a91f82ceb982fc40bc27e44b7964500f9449a5 (diff) | |
(_pokel_exec, pokel_flush): New functions.
(pokel_sync): Use _pokel_exec to do the work.
Diffstat (limited to 'proc')
0 files changed, 0 insertions, 0 deletions