Searched refs:ipcBuffer (Results 1 - 10 of 10) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4debug/src/
H A Dbootinfo.c26 printf("IPC buffer: %p\n", info->ipcBuffer);
/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dbootinfo_types.h62 seL4_IPCBuffer *ipcBuffer; /* pointer to initial thread's IPC buffer */ member in struct:seL4_BootInfo
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dioport.c191 word_t *ipcBuffer; local
192 ipcBuffer = lookupIPCBuffer(true, NODE_STATE(ksCurThread));
193 if (ipcBuffer != NULL) {
194 ipcBuffer[1] = res;
/seL4-camkes-master/kernel/src/object/
H A Dendpoint.c271 word_t *ipcBuffer; local
273 ipcBuffer = lookupIPCBuffer(true, thread);
275 len = setMRs_syscall_error(thread, ipcBuffer);
278 char *debugBuffer = (char *)(ipcBuffer + DEBUG_MESSAGE_START + 1);
H A Dtcb.c1935 word_t *ipcBuffer; local
1937 ipcBuffer = lookupIPCBuffer(true, thread);
1946 if (ipcBuffer != NULL && i < n && i < n_frameRegisters) {
1948 ipcBuffer[i + 1] = getRegister(tcb_src, frameRegisters[i]);
1960 if (ipcBuffer != NULL && i < n_gpRegisters
1963 ipcBuffer[i + n_frameRegisters + 1] =
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Dvcpu.c332 word_t *ipcBuffer = lookupIPCBuffer(true, thread); local
334 unsigned int length = setMR(thread, ipcBuffer, 0, value);
/seL4-camkes-master/projects/sel4runtime/src/
H A Denv.c310 env.initial_thread_ipc_buffer = bootinfo->ipcBuffer;
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c408 existing_frames[1] = (void *)(seL4_Word)ROUND_DOWN(((seL4_Word)(info->ipcBuffer)), PAGE_SIZE_4K);
/seL4-camkes-master/kernel/manual/parts/
H A Dbootup.tex102 \texttt{seL4\_IPCBuffer*} & \texttt{ipcBuffer} & pointer to the initial thread's IPC buffer \\
/seL4-camkes-master/kernel/src/kernel/
H A Dboot.c327 BI_PTR(rootserver.boot_info)->ipcBuffer = (seL4_IPCBuffer *) ipcbuf_vptr;

Completed in 128 milliseconds