Searched refs:EXCLAVES_MEMORY_MAX_REQUEST (Results 1 – 4 of 4) sorted by relevance
447 exclaves_memory_upcall_legacy_free(const uint32_t pages[EXCLAVES_MEMORY_MAX_REQUEST],452 assert(npages <= EXCLAVES_MEMORY_MAX_REQUEST);453 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) {463 exclaves_memory_upcall_legacy_free_ext(const uint32_t pages[EXCLAVES_MEMORY_MAX_REQUEST],470 assert(npages <= EXCLAVES_MEMORY_MAX_REQUEST);471 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) {494 uint32_t pages[EXCLAVES_MEMORY_MAX_REQUEST];497 assert3u(npages, <=, EXCLAVES_MEMORY_MAX_REQUEST);498 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) {515 uint32_t pages[EXCLAVES_MEMORY_MAX_REQUEST];[all …]
39 #define EXCLAVES_MEMORY_MAX_REQUEST (64) macro81 exclaves_memory_upcall_legacy_free(const uint32_t pages[_Nonnull EXCLAVES_MEMORY_MAX_REQUEST],86 exclaves_memory_upcall_legacy_free_ext(const uint32_t pages[_Nonnull EXCLAVES_MEMORY_MAX_REQUEST],
126 .free = ^(const uint32_t pages[_Nonnull EXCLAVES_MEMORY_MAX_REQUEST],132 .free_ext = ^(const uint32_t pages[_Nonnull EXCLAVES_MEMORY_MAX_REQUEST],
2040 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) { in handle_response_pmm_early_alloc()2059 uint32_t page[EXCLAVES_MEMORY_MAX_REQUEST]; in handle_response_pmm_early_alloc()