Searched refs:EXCLAVES_MEMORY_MAX_REQUEST (Results 1 – 4 of 4) sorted by relevance
381 exclaves_memory_upcall_legacy_free(const uint32_t pages[EXCLAVES_MEMORY_MAX_REQUEST],386 assert(npages <= EXCLAVES_MEMORY_MAX_REQUEST);387 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) {402 uint32_t pages[EXCLAVES_MEMORY_MAX_REQUEST];405 assert3u(npages, <=, EXCLAVES_MEMORY_MAX_REQUEST);406 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) {426 uint32_t _pages[EXCLAVES_MEMORY_MAX_REQUEST];431 if (++npages > EXCLAVES_MEMORY_MAX_REQUEST) {
39 #define EXCLAVES_MEMORY_MAX_REQUEST (64) macro70 exclaves_memory_upcall_legacy_free(const uint32_t pages[_Nonnull EXCLAVES_MEMORY_MAX_REQUEST],
117 .free = ^(const uint32_t pages[_Nonnull EXCLAVES_MEMORY_MAX_REQUEST],
1907 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) { in handle_response_pmm_early_alloc()1920 uint32_t page[EXCLAVES_MEMORY_MAX_REQUEST]; in handle_response_pmm_early_alloc()