NOVA User-Level Environment
Version testbox/changed-memory-timing-317-g320d8b5
|
Define a static portal function. More...
#include <generic_service.h>
Static Public Member Functions | |
static void | portal_func (cap_sel pid, C *tls, Utcb *utcb) __attribute__((regparm(1))) |
Define a static portal function.
|
inlinestatic |