Searched refs:EXCLAVES_MEMORY_MAX_REQUEST (Results 1 – 4 of 4) sorted by relevance
449 exclaves_memory_upcall_legacy_free(const uint32_t pages[EXCLAVES_MEMORY_MAX_REQUEST],454 assert(npages <= EXCLAVES_MEMORY_MAX_REQUEST);455 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) {465 exclaves_memory_upcall_legacy_free_ext(const uint32_t pages[EXCLAVES_MEMORY_MAX_REQUEST],472 assert(npages <= EXCLAVES_MEMORY_MAX_REQUEST);473 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) {496 uint32_t pages[EXCLAVES_MEMORY_MAX_REQUEST];499 assert3u(npages, <=, EXCLAVES_MEMORY_MAX_REQUEST);500 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) {517 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],
2079 if (npages > EXCLAVES_MEMORY_MAX_REQUEST) { in handle_response_pmm_early_alloc()2098 uint32_t page[EXCLAVES_MEMORY_MAX_REQUEST]; in handle_response_pmm_early_alloc()