L4Re - L4 Runtime Environment
|
Get the combined server-side resource requirements for all type T... More...
#include <l4/sys/capability>
Get the combined server-side resource requirements for all type T...
T | List of IPC interface types for which the combined server-side resource requirements shall be calculated. |
Definition at line 1033 of file __typeinfo.h.