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

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dfaults.c710 seL4_CPtr faulter_vspace, faulter_cspace, reply_cptr; local
735 reply_cptr = sel4utils_copy_cap_to_process(&handler_thread.process, &env->vka,
746 reply_cptr = reply.cptr;
760 test_assert(!(reply_cptr & (BIT(RESTART) | BIT(BADGED))));
761 seL4_Word flags_and_reply = reply_cptr |

Completed in 25 milliseconds