Searched defs:call (Results 26 - 28 of 28) sorted by relevance
12
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ |
| H A D | mm.c | 593 multicall_entry_t call[n]; local
658 multicall_entry_t call[ local
[all...] |
| /seL4-camkes-master/projects/projects_libs/libtx2bpmp/include/tx2bpmp/ |
| H A D | bpmp.h | 58 int (*call)(void *data, int mrq, void *tx_msg, size_t tx_size, void *rx_msg, size_t rx_size); member in struct:tx2_bpmp
|
| /seL4-camkes-master/kernel/src/object/ |
| H A D | tcb.c | 927 exception_t decodeReadRegisters(cap_t cap, word_t length, bool_t call, argument
778 decodeTCBInvocation(word_t invLabel, word_t length, cap_t cap, cte_t *slot, extra_caps_t excaps, bool_t call, word_t *buffer) argument
1916 invokeTCB_ReadRegisters(tcb_t *tcb_src, bool_t suspendSource, word_t n, word_t arch, bool_t call) argument
|
Completed in 57 milliseconds
12