Searched refs:cdata (Results 1 - 6 of 6) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | mcs_api.h | 104 seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata,
108 seL4_Error error = seL4_TCB_SetSpace(tcb, ep, cspace, cdata, vspace, vdata);
120 return seL4_TCB_Configure(tcb, ep, cspace, cdata, vspace, vdata,
138 seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata)
140 return seL4_TCB_SetSpace(tcb, ep, cspace, cdata, vspace, vdata);
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
136 api_tcb_set_space(seL4_CPtr tcb, seL4_CPtr ep, seL4_CPtr cspace, seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata) argument
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | mcs_api.h | 104 seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata,
108 seL4_Error error = seL4_TCB_SetSpace(tcb, ep, cspace, cdata, vspace, vdata);
120 return seL4_TCB_Configure(tcb, ep, cspace, cdata, vspace, vdata,
138 seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata)
140 return seL4_TCB_SetSpace(tcb, ep, cspace, cdata, vspace, vdata);
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
136 api_tcb_set_space(seL4_CPtr tcb, seL4_CPtr ep, seL4_CPtr cspace, seL4_Word cdata, seL4_CPtr vspace, seL4_Word vdata) argument
|
| /seL4-refos-master/libs/libplatsupport/src/arch/arm/ |
| H A D | dma330.c | 584 struct channel_data *cdata; local
591 cdata = &dma330->channel_data[ch];
596 assert(cdata->cb);
597 if (cdata->cb) {
601 resume = cdata->cb(dma330_ptr, sig, pc, stat, cdata->token);
611 cdata->cb = NULL;
612 cdata->token = NULL;
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/ |
| H A D | dma330.c | 584 struct channel_data *cdata; local
591 cdata = &dma330->channel_data[ch];
596 assert(cdata->cb);
597 if (cdata->cb) {
601 resume = cdata->cb(dma330_ptr, sig, pc, stat, cdata->token);
611 cdata->cb = NULL;
612 cdata->token = NULL;
|
| /seL4-refos-master/libs/librefossys/src/ |
| H A D | sys_io.c | 41 char *cdata = data; local
45 seL4_DebugPutChar(cdata[i]);
60 0, &cdata[i], c);
|
| /seL4-refos-master/projects/refos/impl/libs/librefossys/src/ |
| H A D | sys_io.c | 41 char *cdata = data; local
45 seL4_DebugPutChar(cdata[i]);
60 0, &cdata[i], c);
|
Completed in 39 milliseconds