Searched defs:ipcBuffer (Results 1 - 6 of 6) sorted by relevance

/seL4-refos-master/kernel/src/object/
H A Dendpoint.c271 word_t *ipcBuffer; local
H A Dtcb.c1935 word_t *ipcBuffer; local
/seL4-refos-master/kernel/src/arch/arm/object/
H A Dvcpu.c332 word_t *ipcBuffer = lookupIPCBuffer(true, thread); local
/seL4-refos-master/kernel/src/arch/x86/object/
H A Dioport.c191 word_t *ipcBuffer; local
/seL4-refos-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-refos-master/libs/libsel4/include/sel4/
H A Dbootinfo_types.h62 seL4_IPCBuffer *ipcBuffer; /* pointer to initial thread's IPC buffer */ member in struct:seL4_BootInfo

Completed in 37 milliseconds