Searched refs:ipcBuffer (Results 1 - 10 of 10) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4debug/src/ |
H A D | bootinfo.c | 26 printf("IPC buffer: %p\n", info->ipcBuffer);
|
/seL4-camkes-master/kernel/libsel4/include/sel4/ |
H A D | bootinfo_types.h | 62 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 D | ioport.c | 191 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 D | endpoint.c | 271 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 D | tcb.c | 1935 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 D | vcpu.c | 332 word_t *ipcBuffer = lookupIPCBuffer(true, thread); local 334 unsigned int length = setMR(thread, ipcBuffer, 0, value);
|
/seL4-camkes-master/projects/sel4runtime/src/ |
H A D | env.c | 310 env.initial_thread_ipc_buffer = bootinfo->ipcBuffer;
|
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | bootstrap.c | 408 existing_frames[1] = (void *)(seL4_Word)ROUND_DOWN(((seL4_Word)(info->ipcBuffer)), PAGE_SIZE_4K);
|
/seL4-camkes-master/kernel/manual/parts/ |
H A D | bootup.tex | 102 \texttt{seL4\_IPCBuffer*} & \texttt{ipcBuffer} & pointer to the initial thread's IPC buffer \\
|
/seL4-camkes-master/kernel/src/kernel/ |
H A D | boot.c | 327 BI_PTR(rootserver.boot_info)->ipcBuffer = (seL4_IPCBuffer *) ipcbuf_vptr;
|
Completed in 166 milliseconds