Searched defs:sender_badge (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/
H A Dvm.c231 seL4_Word sender_badge; local
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c74 static inline seL4_MessageInfo_t recv(seL4_Word *sender_badge) argument
447 seL4_Word sender_badge; local
[all...]
/seL4-camkes-master/tools/rumprun/platform/sel4/
H A Dentry.c252 seL4_Word sender_badge; local
270 seL4_Word sender_badge; local

Completed in 46 milliseconds