L4Re – L4 Runtime Environment
|
Get the combined server-side resource requirements for all type T... More...
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 1035 of file __typeinfo.h.