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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dfaults.c35 BADGED = seL4_WordBits - 1, enumerator in enum:__anon24
505 bool badged = flags_and_reply & BIT(BADGED);
758 // Ensure that the BADGED and RESTART bits are not
760 test_assert(!(reply_cptr & (BIT(RESTART) | BIT(BADGED))));
762 (badged ? BIT(BADGED) : 0) |

Completed in 27 milliseconds