Searched defs:l4_ipc (Results 1 – 7 of 7) sorted by relevance
| /l4re-core-master/l4sys/include/ARCH-arm/L4API-l4f/ |
| A D | ipc.h | 34 l4_ipc(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc() function
|
| /l4re-core-master/l4sys/include/ARCH-arm64/L4API-l4f/ |
| A D | ipc.h | 33 l4_ipc(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc() function
|
| /l4re-core-master/l4sys/include/ARCH-mips/L4API-l4f/ |
| A D | ipc.h | 44 l4_ipc(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc() function
|
| /l4re-core-master/l4sys/include/ARCH-sparc/L4API-l4f/ |
| A D | ipc.h | 34 l4_ipc(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc() function
|
| /l4re-core-master/l4sys/include/ARCH-ppc32/L4API-l4f/ |
| A D | ipc.h | 37 l4_ipc(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc() function
|
| /l4re-core-master/l4sys/include/ARCH-x86/L4API-l4f/ |
| A D | ipc-l42-gcc3-nopic.h | 31 l4_ipc(l4_cap_idx_t dest, l4_utcb_t *u, in l4_ipc() function
|
| /l4re-core-master/l4sys/include/ARCH-amd64/L4API-l4f/ |
| A D | ipc.h | 33 l4_ipc(l4_cap_idx_t dest, l4_utcb_t *utcb, in l4_ipc() function
|
Completed in 6 milliseconds