Searched refs:crs (Results 1 – 2 of 2) sorted by relevance
272 Exclaves_L4_MessageTag(Exclaves_L4_Word_t mrs, Exclaves_L4_Word_t crs, Exclaves_L4_Word_t label, in Exclaves_L4_MessageTag() argument279 Exclaves_L4_MessageTag_Crs_Bits, Exclaves_L4_Word(crs)) | in Exclaves_L4_MessageTag()
717 Exclaves_L4_Word_t crs = Exclaves_L4_MessageTag_Crs(*tag); in exclaves_test_upcall_handler() local718 assert(crs == 0); in exclaves_test_upcall_handler()