Searched refs:EXCLAVES_MEMORY_MAX_REQUEST (Results 1 – 4 of 4) sorted by relevance
410 exclaves_memory_upcall_legacy_free(const uint32_t pages[EXCLAVES_MEMORY_MAX_REQUEST],415 assert(npages <= EXCLAVES_MEMORY_MAX_REQUEST);416 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) {426 exclaves_memory_upcall_legacy_free_ext(const uint32_t pages[EXCLAVES_MEMORY_MAX_REQUEST],433 assert(npages <= EXCLAVES_MEMORY_MAX_REQUEST);434 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) {452 uint32_t pages[EXCLAVES_MEMORY_MAX_REQUEST];455 assert3u(npages, <=, EXCLAVES_MEMORY_MAX_REQUEST);456 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) {473 uint32_t pages[EXCLAVES_MEMORY_MAX_REQUEST];[all …]
39 #define EXCLAVES_MEMORY_MAX_REQUEST (64) macro78 exclaves_memory_upcall_legacy_free(const uint32_t pages[_Nonnull EXCLAVES_MEMORY_MAX_REQUEST],83 exclaves_memory_upcall_legacy_free_ext(const uint32_t pages[_Nonnull EXCLAVES_MEMORY_MAX_REQUEST],
125 .free = ^(const uint32_t pages[_Nonnull EXCLAVES_MEMORY_MAX_REQUEST],131 .free_ext = ^(const uint32_t pages[_Nonnull EXCLAVES_MEMORY_MAX_REQUEST],
1946 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) { in handle_response_pmm_early_alloc()1960 uint32_t page[EXCLAVES_MEMORY_MAX_REQUEST]; in handle_response_pmm_early_alloc()