Searched refs:ipc_buffer_addr (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | thread.c | 59 res->ipc_buffer_addr = (seL4_Word) vspace_new_ipc_buffer(alloc, &res->ipc_buffer);
61 if (res->ipc_buffer_addr == 0) {
113 null_cap_data, res->ipc_buffer_addr, res->ipc_buffer);
177 seL4_IPCBuffer *ipc_buffer_addr = (void *)thread->ipc_buffer_addr; local
178 sel4runtime_set_tls_variable(tp, __sel4_ipc_buffer, ipc_buffer_addr);
183 (void *) thread->ipc_buffer_addr,
212 if (thread->ipc_buffer_addr != 0) {
213 vspace_free_ipc_buffer(alloc, (seL4_Word *) thread->ipc_buffer_addr);
|
| H A D | process.c | 261 (void *) process->thread.ipc_buffer_addr, false,
304 auxv[4].a_un.a_val = (uintptr_t) process->thread.ipc_buffer_addr;
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | thread.c | 59 res->ipc_buffer_addr = (seL4_Word) vspace_new_ipc_buffer(alloc, &res->ipc_buffer);
61 if (res->ipc_buffer_addr == 0) {
113 null_cap_data, res->ipc_buffer_addr, res->ipc_buffer);
177 seL4_IPCBuffer *ipc_buffer_addr = (void *)thread->ipc_buffer_addr; local
178 sel4runtime_set_tls_variable(tp, __sel4_ipc_buffer, ipc_buffer_addr);
183 (void *) thread->ipc_buffer_addr,
212 if (thread->ipc_buffer_addr != 0) {
213 vspace_free_ipc_buffer(alloc, (seL4_Word *) thread->ipc_buffer_addr);
|
| H A D | process.c | 261 (void *) process->thread.ipc_buffer_addr, false,
304 auxv[4].a_un.a_val = (uintptr_t) process->thread.ipc_buffer_addr;
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | thread.h | 46 seL4_Word ipc_buffer_addr; member in struct:sel4utils_thread
|
| H A D | mcs_api.h | 105 seL4_Word ipc_buffer_addr, seL4_CPtr ipc_buffer_cap)
110 error = seL4_TCB_SetIPCBuffer(tcb, ipc_buffer_addr, ipc_buffer_cap);
121 ipc_buffer_addr, ipc_buffer_cap);
102 api_tcb_configure(seL4_CPtr tcb, seL4_CPtr ep, UNUSED seL4_CPtr timeout_ep, UNUSED seL4_CPtr sc, seL4_CPtr cspace, seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata, seL4_Word ipc_buffer_addr, seL4_CPtr ipc_buffer_cap) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | thread.h | 46 seL4_Word ipc_buffer_addr; member in struct:sel4utils_thread
|
| H A D | mcs_api.h | 105 seL4_Word ipc_buffer_addr, seL4_CPtr ipc_buffer_cap)
110 error = seL4_TCB_SetIPCBuffer(tcb, ipc_buffer_addr, ipc_buffer_cap);
121 ipc_buffer_addr, ipc_buffer_cap);
102 api_tcb_configure(seL4_CPtr tcb, seL4_CPtr ep, UNUSED seL4_CPtr timeout_ep, UNUSED seL4_CPtr sc, seL4_CPtr cspace, seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata, seL4_Word ipc_buffer_addr, seL4_CPtr ipc_buffer_cap) argument
|
Completed in 49 milliseconds