diff options
| author | Neal H. Walfield <neal@gnu.org> | 2008-12-18 22:54:15 +0100 |
|---|---|---|
| committer | Neal H. Walfield <neal@gnu.org> | 2008-12-18 22:54:15 +0100 |
| commit | 207770cea7fece43bf5517fec7abd88a3a7d6146 (patch) | |
| tree | 6f41abd1dc4782f34b339b00da956d0c778ef1b7 /libpthread/headers.m4 | |
| parent | f5cfa7cbb8a2fff68cf87a3a685428507ce977b4 (diff) | |
Support batching requests for object_discarded_clear.
libviengoos/
2008-12-18 Neal H. Walfield <neal@gnu.org>
* viengoos/cap.h (object_discarded_clear): Take additional
parameter count. Take multiple object addresses.
viengoos/
2008-12-18 Neal H. Walfield <neal@gnu.org>
* server.c (server_loop): Handle multiple objects in
object_discarded_clear.
libhurd-mm/
2008-12-18 Neal H. Walfield <neal@gnu.org>
* anonymous.c (fault): Batch object discard requests.
Diffstat (limited to 'libpthread/headers.m4')
0 files changed, 0 insertions, 0 deletions