Virtualization interface. More...
#include <l4/sys/vm.h>
#include <l4/sys/task>
Go to the source code of this file.
Virtualization interface.
Definition in file vm.