Searched refs:READY_MAGIC (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ | ||
H A D | cspace.c | 22 #define READY_MAGIC 0x12374153 macro 29 seL4_SetMR(0, READY_MAGIC); 102 test_assert(seL4_GetMR(0) == READY_MAGIC); |
Completed in 81 milliseconds