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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dcspace.c99 seL4_Word sender_badge = 0; local
H A Dbreakpoints.c151 seL4_Word sender_badge; local
H A Dendpoints.c25 seL4_Word sender_badge; local
109 seL4_Word sender_badge; local
155 seL4_Word sender_badge; local
H A Dmulticore.c197 seL4_Word sender_badge = 0; local
H A Dioports.c61 seL4_Word sender_badge = 0; local
H A Dfaults.c503 seL4_Word sender_badge = 0; local
H A Dipc.c99 seL4_Word sender_badge = 0; local
132 seL4_Word sender_badge = 0; local
163 seL4_Word sender_badge = 0; local
219 seL4_Word sender_badge = 0; local
448 seL4_Word sender_badge = 0; local
[all...]
H A Dscheduler.c304 seL4_Word sender_badge = 0; local
455 seL4_Word sender_badge = 0; local
466 seL4_Word sender_badge = 0; local
1670 seL4_Word sender_badge = 0; local
/seL4-test-master/projects/sel4test/apps/sel4test-driver/src/
H A Dtimer.c74 seL4_Word sender_badge; local
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/
H A Dvm.c231 seL4_Word sender_badge; local
/seL4-test-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...]

Completed in 109 milliseconds