C++ (Cpp) get_badge Beispiele

Beispiel #1

Datei: seL4AsynchNative-to.template.c Projekt: agacek/camkes-tool

int /*? me.to_interface.name ?*/_poll(void) {
    seL4_Word *badge = get_badge();
    /* Reset the badge as this may not be the first time this function is
     * called.
     */
    *badge = 0;
    seL4_Poll(/*? aep ?*/, badge);
    return *badge == /*? badge_magic ?*/;
}

Beispiel #2

Datei: eventto-poll.c Projekt: NICTA/l4v

int EventTo_poll(void) {
    seL4_Word *badge = get_badge();
    seL4_Poll(6, badge);
    return *badge == PENDING;
}