Searched refs:Exclaves_L4_IpcBuffer_Mrs (Results 1 – 2 of 2) sorted by relevance
293 #define Exclaves_L4_IpcBuffer_Mrs 56 macro302 Exclaves_L4_Word_t mr[Exclaves_L4_IpcBuffer_Mrs];
446 assert(mrs < Exclaves_L4_IpcBuffer_Mrs); in exclaves_test_upcall_handler()