Searched refs:seL4_SetUserData (Results 1 - 4 of 4) sorted by relevance

/seL4-mcs-10.1.1/libsel4/src/
H A Dsel4_bootinfo.c23 seL4_SetUserData((seL4_Word)bootinfo->ipcBuffer);
/seL4-mcs-10.1.1/libsel4/arch_include/arm/sel4/arch/
H A Dfunctions.h39 seL4_SetUserData(seL4_Word data) function
/seL4-mcs-10.1.1/libsel4/arch_include/riscv/sel4/arch/
H A Dfunctions.h52 seL4_SetUserData(seL4_Word data) function
/seL4-mcs-10.1.1/libsel4/arch_include/x86/sel4/arch/
H A Dfunctions.h42 seL4_SetUserData(seL4_Word data) function

Completed in 31 milliseconds