Searched refs:crs (Results 1 – 2 of 2) sorted by relevance
270 Exclaves_L4_MessageTag(Exclaves_L4_Word_t mrs, Exclaves_L4_Word_t crs, Exclaves_L4_Word_t label, in Exclaves_L4_MessageTag() argument277 Exclaves_L4_MessageTag_Crs_Bits, Exclaves_L4_Word(crs)) | in Exclaves_L4_MessageTag()
529 Exclaves_L4_Word_t crs = Exclaves_L4_MessageTag_Crs(*tag); in exclaves_test_upcall_handler() local530 assert(crs == 0); in exclaves_test_upcall_handler()