L4_FPAGE_C_IPCGATE_SVR (reference) in projects: l4re-core-master

Searched refs:L4_FPAGE_C_IPCGATE_SVR (Results 1 – 3 of 3) sorted by relevance

/l4re-core-master/l4sys/include/
A D	ipc_gate	`43 * capability has the #L4_FPAGE_C_IPCGATE_SVR permission, only IPC using a 45 * the #L4_FPAGE_C_IPCGATE_SVR permission, all IPC is forwarded. The latter is 53 * capability used has the #L4_FPAGE_C_IPCGATE_SVR permission (cf. previous 55 * #L4_FPAGE_C_IPCGATE_SVR permission, L4::Ipc_gate interface calls are 58 * capabilities without #L4_FPAGE_C_IPCGATE_SVR permission so the client cannot 71 * get_infos() if the capability used has the #L4_FPAGE_C_IPCGATE_SVR`
A D	__l4_fpage.h	`257 L4_FPAGE_C_IPCGATE_SVR = L4_FPAGE_C_OBJ_RIGHT1 enumerator`
A D	kobject	`107 * has the server right (#L4_FPAGE_C_IPCGATE_SVR). For other kernel objects,`

Completed in 4 milliseconds