genode/repos/ports/include/vmm
Norman Feske 9d67f9fc8e Remove Allocator_guard
This patch removes old 'Allocator_guard' utility and replaces its use
with the modern 'Constrained_ram_allocator'.

The adjustment of core in this respect has the side effect of a more
accurate capability accounting in core's CPU, TRACE, and RM services.
In particular, the dataspace capabilities needed for core-internal
allocations via the 'Sliced_heap' are accounted to the client now.
The same goes for nitpicker and nic_dump as other former users of the
allocator guard. Hence, the patch also touches code at the client and
server sides related to these services.

The only remaining user of the 'Allocator_guard' is the Intel GPU
driver. As the adaptation of this component would be too invasive
without testing, this patch leaves this component unchanged by keeping a
copy of the 'allocator_guard.h' locally at the component.

Fixes #3750
2020-05-18 10:16:12 +02:00
..
guest_memory.h Streamline exception types 2017-05-31 13:16:07 +02:00
log.h vbox4/5: remove printf 2017-05-31 13:16:19 +02:00
types.h Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
utcb_guard.h Remove residual uses of deprecated APIs 2019-02-19 11:12:12 +01:00
vcpu_dispatcher.h Remove Allocator_guard 2020-05-18 10:16:12 +02:00
vcpu_thread.h Remove Allocator_guard 2020-05-18 10:16:12 +02:00